研究兴趣 软件工程,软件验证,形式化方法 静态和动态分析技术的结合,即互补的证明和测试 并发面向对象程序的静态分析 教育 博士生,软件工程(2020年至今) 沙夫豪森理工学院 顾问: 硕士,软件工程(2017-2019) 中山大学数据与计算机科学学院 硕士学位论文:使用Simulink Design Verifier验证网络物理系统中(非)功能需求的工具支持的验证 GPA:4.4 / 5.0 指导老师: 软件工程学士(2013-2017) 中山大学数据与计算机科学学院 GPA:3.9 / 5.0(前10%) 学士学位论文:工具支持的汽车系统验证 教学 讲师 北部湾大学C编程语言,电子与信息工程学院,2020年秋季。 教学助手 中山大学计算机语言与实现,数据与计算机科学学院,2017年Spring,2018年。 网络物理系统简介:智能车辆软件设计,中山大学,数据与计算机科学学院