李希萌(首都師範大學信息工程學院副教授)

本詞條是多義詞,共2個義項
更多義項 ▼ 收起列表 ▲

李希萌,博士,現為首都師範大學信息工程學院副教授,碩士生導師。

基本介紹

  • 中文名:李希萌
  • 學位/學歷:博士
  • 職業:教師
人物經歷,研究方向,主要成就,

人物經歷

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期刊審稿人。

相關詞條

熱門詞條

聯絡我們