李希萌_首都师范大学讲师

您当前浏览器版本过低，为了不影响您的使用，建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器，更换浏览器后使用更流畅！（注意！双核浏览器请切换为极速模式）

400-607-9388

李希萌
所属院校: 首都师范大学
所属院系: 信息工程学院
职称: 讲师
导师类型:
招生专业:
研究领域: 研究领域为形式化验证——主要关注点包括区块链、智能合约的验证、形式语言中信息流安全的验证等。

个人简介

个人简介：李希萌，博士，讲师/硕士生导师。于2016年初在丹麦技术大学（TechnicalUniversityofDenmark）获得博士学位。此后在丹麦技术大学和达姆施塔特工业大学（TUDarmstadt）进行博士后研究。于博士和博士后期间参与欧盟ARTEMIS项目SESAMO（SecurityandSafetyModelling）和德国CRISPIP2项目Secure,Component-basedDevelopmentofLargeSoftwareSystems。在LMCS、ESORICS、APLAS、COORDINATION等形式化方法和安全领域的重要国际会议、期刊发表论文多篇。

相关推荐