张展玮

张展玮

计算机科学与工程学士

南方科技大学

自述

我正在南方科技大学深入学习计算机科学与工程。我对将软件工程与人工智能结合充满热情。
目前,我在武汉大学担任访问研究员。

兴趣爱好
  • 软件工程
  • 软件测试
  • 人工智能
  • 机器学习
教育经历
  • 计算机科学与工程学士, 2021至今

    南方科技大学

技能

开发工具
intellij-idea
pycharm
vscode
anaconda
linux
git
github
adobe-premiere
语言 & 框架
c
cpp
java
spring-boot
python
mysql
postgresql
vue

经历

 
 
 
 
 
南方科技大学
计算机科学与工程学士
九月 2021 – 现在 中国,深圳
Professor Yepang Liu的指导下攻读计算机科学与工程。
 
 
 
 
 
武汉大学
访问学者
五月 2024 – 八月 2024 中国,武汉
参与软件日志研究项目。 在Professor Weiyi ShangProfessor Jinfu Chen的指导下进行研究。

项目

*
简单编译器
开发了一个简单的编译器(仍有15000行),可以将C语言文件转换为中间表示(IR)和MIPS32汇编。该编译器支持基本功能,如I/O操作、控制流和函数调用。它包括全面的词法分析、语法分析和语义分析,并且可以显示详细的错误信息。
简单编译器
饭堂人流量监测
通过实时监控数据计算饭堂各档口的大致排队人数,并展示人流量趋势。
三个月内访问接近3万次。
饭堂人流量监测
基于LLM的JSON解析器模糊化漏洞发现和行为分析
使用Llama2-7B/13B等开源LLM来生成测试用例。
已经测试了13个JSON解析器和100多种类型的案例。已经发现了超过26种行为多样性。
基于LLM的JSON解析器模糊化漏洞发现和行为分析
基于Minisys的CPU
实现了一个支持Minisys基本32条指令的CPU。它可以解析传入的COE文件,并通过Minisys开发板与用户交互,接受用户输入并在板上显示结果。
基于Minisys的CPU
容量约束弧路径问题(CARP)
该求解器使用记忆算法和混合元启发式方法高效地生成高质量的解决方案。该求解器在小型和中型实例中在180秒内实现了最优解,并在多达255个顶点和347条路径的大型实例中产生了可比的结果。
容量约束弧路径问题(CARP)
基于MiniSTM32的TBG对战系统
该系统允许玩家为其自定义角色选择动作,查看血量等角色信息,并使用具有精确数据传输的miniSTM32板进行实时多人游戏。
基于MiniSTM32的TBG对战系统
基于Python的有强大AI的反向黑白棋
使用位运算实现了快速蒙特卡洛树搜索和αβ剪枝算法。五秒内平均搜索6层。
基于Python的有强大AI的反向黑白棋
利用综合飞行数据估算全球航空CO2排放量
使用统计和机器学习方法分析10TB数据(10亿条记录)。
手稿已于2024年4月16日提交Environmental Science & Technology。
利用综合飞行数据估算全球航空CO2排放量
基于Java的黑白棋
通过Swing开发了美观的和多功能的黑白棋。
基于Java的黑白棋

联系