研究方向
软件工程
专注于软件测试、自动化推理和软件可靠性。开发新技术以提高软件系统的质量和可靠性。
编程语言
探索类型系统、形式语义和语言设计。开发工具和方法以提高编程语言的可用性和可靠性。
形式化方法
将数学技术应用于软件和硬件系统的规范、开发和验证。专注于SMT求解器和模型检查。
代表性论文
通过运行时引导的问题生成诊断模型检查器的性能差异
Yibo Dong, Yicong Xu, Wenjing Deng, Yu Chen, Xiaoyu Zhang, Jianwen Li, Chengyu Zhang, and Geguang Pu
ASE 2025会议论文集
验证模式匹配覆盖分析器的健全性和完整性
Cyril Moser, Thodoris Sotiropoulos, Chengyu Zhang and Zhendong Su
SPLASH/OOPSLA 2025会议论文集
联系信息
邮箱
永久: dale.chengyu.zhang@gmail.com
工作: c.zhang4@lboro.ac.uk
办公室
计算机科学系
拉夫堡大学
莱斯特郡，LE11 3TU，英国