Xuansong Li(李晅松)

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