•中山大学2013年硕士学位研究生招生考试范围及参考书目

研究兴趣 软件工程，软件验证，形式化方法 静态和动态分析技术的结合，即互补的证明和测试 并发面向对象程序的静态分析 教育 博士生，软件工程（2020年至今） 沙夫豪森理工学院 顾问： 硕士，软件工程（2017-2019） 中山大学数据与计算机科学学院 硕士学位论文：使用Simulink Design Verifier验证网络物理系统中（非）功能需求的工具支持的验证 GPA：4.4 / 5.0 指导老师： 软件工程学士（2013-2017） 中山大学数据与计算机科学学院 GPA：3.9 /