.png){kind=icon}
李希萌 (Ximeng Li)
H指数:2
被引数:5
个人简介
博士，副教授，硕士生导师。2016年初于丹麦技术大学获博士学位。2015至2016年在丹麦技术大学开展博士后研究，2016年至2018年于德国达姆施塔特工业大学开展博士后研究，2018年起在首都师范大学信息工程学院工作。在ETAPS、ESORICS、JSA等CCF推荐会议、期刊发表论文20余篇。担任中国计算机学会（CCF）形式化方法专委会委员，Computer Languages, Systems and Structures、软件学报等CCF期刊审稿人。
教育背景
2016.12
丹麦技术大学（Technical University of Denmark） 博士
工作经历
2018.01 – 至今
首都师范大学信息工程学院
副教授，硕士生导师
2016.01 – 2018.12
德国达姆施塔特工业大学（TU Darmstadt）
博士后
2015.01 – 2016.12
丹麦技术大学
博士后
荣誉奖项
- 首都师范大学青年标兵（2021）｜首都师范大学
- 信息工程学院考核优秀人员（2020、2022）｜信息工程学院
- 首都师范大学军训工作先进个人（2018）｜首都师范大学
- CCF期刊Computer Languages, Systems and Structures杰出贡献审稿人（2018）｜CCF
