Experience
Education
Bio
本人于2007年在南京大学获得学士学位,2016年6月在南京大学获得计算机软件与理论博士学位,同年加入南京理工大学计算机科学与工程学院。 主要从事软件方法学、形式化方法、普适计算技术研究,近年主持南京大学研究生创新基金项目,参与国家863、973、自然基金等课题。担任NASAC(全国软件与应用学术会议)2016 English Track PC member,参与Internetware等会议审稿。