李希萌,博士,現為首都師範大學信息工程學院副教授,碩士生導師。
基本介紹
- 中文名:李希萌
- 學位/學歷:博士
- 職業:教師
人物經歷,研究方向,主要成就,
人物經歷
2016年初于丹麥技術大學(Technical University of Denmark)獲博士學位。2015至2016年在丹麥技術大學開展博士後研究,2016年至2018年於德國達姆施塔特工業大學(TU Darmstadt)開展博士後研究,2018年起在首都師範大學信息工程學院工作。
研究方向
形式化方法、軟體驗證
主要成就
在COLA、JSA、ESORICS、APLAS、ICFEM等CCF推薦期刊、會議發表論文20餘篇。擔任中國計算機學會(CCF)形式化方法專委會委員,Computer Languages, Systems and Structures、軟體學報等CCF期刊審稿人。