个人简介
教育经历
2007.7-2014.1 工学博士，清华大学计算机科学与技术系，计算机科学与技术专业
2003.8-2007.7 理学学士，清华大学数学科学系，数学与应用数学专业
工作经历
2019.11-至今 清华大学软件学院副研究员，研究方向：软件分析验证、软件工程
2016.1-2019.11 清华大学软件学院助理研究员，研究方向：软件分析验证、软件工程
2014.1-2016.1 清华大学软件学院博士后，研究方向：形式化方法、软件工程
2011.6-2011.8 法国Verimag实验室研究实习生
