个人简介

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