人物履历
教育背景
2010年9月至2015年1月，清华大学
计算机科学与技术，
博士2006年9月至2010年7月，
北京邮电大学软件工程，学士
工作履历
2016年9月2019年11月 清华大学软件学院，助理教授
2015年4月至2016年8月 伊利诺伊大学厄巴纳香槟分校， 博士后
学术兼职
PC, 43th ACM/IEEE International Conference on Software Engineering(ICSE),2021
PC, 57th ACM/IEEE Design Automation Conference(DAC), 2020
PC, 20th ACM/IEEE International Conference on Embedded Software(EMSOFT),2020
PC, 10th ACM International Conference on Cyber-Physical System(ICCPS), 2020
PC, 25th IEEE Real-time and Embedded Technology & Applications Symposium（RTAS）, 2019
PC, 22nd ACM International Conference on Model Driven Engineering Languages and Systems(MODELS), 2019
主要贡献
他通过模型驱动的开发与测试技术，推进了
工业控制系统的软件设计与漏洞分析平台的自主可控和效率提升。
人物荣誉
2019年，被2019
福布斯中国征集为30岁以下精英。
2020年9月，获得2020年阿里巴巴
达摩院青橙奖。
2020年，ACM ICSE工业论文最佳论文提名
2019年，ACM EMSOFT最佳论文提名
2019年，IEEE CPSCom最佳论文
2018年，中国科协青年托举人才
2017年，全国软件测试大赛优秀指导教师