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