专任教师

您目前的位置: 首页» 师资队伍» 专任教师» 讲师

李希萌

 

个人简介:
 
李希萌,博士,讲师/硕士生导师。研究领域为形式化验证——主要关注点包括区块链、智能合约的验证、形式语言中信息流安全的验证等。于2016年初在丹麦技术大学(Technical University of Denmark)获得博士学位。此后在丹麦技术大学和达姆施塔特工业大学(TU Darmstadt)进行博士后研究。于博士和博士后期间参与欧盟ARTEMIS项目SESAMO(Security and Safety Modelling)和德国CRISP IP2 项目Secure, Component-based Development of Large Software Systems。在LMCS、ESORICS、APLAS、COORDINATION等形式化方法和安全领域的重要国际会议、期刊发表论文多篇。
 
电子邮件:6642@cnu.edu.cn  办公地点:首都师范大学北二区教学楼217室
 
主要学术论文:
 
1. Ximeng Li, Xi Wu, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson: A Coordination Language for Databases. In Logical Methods in Computer Science (LMCS), Vol 13(1:10), pp. 1-51. 2017. [CCF-C]
 
2. Ximeng Li, Flemming Nielson, Hanne Riis Nielson: Factorization of Behavioral Integrity. In Proceedings of the 20th European Symposium on Research in Computer Security (ESORICS), pp. 500-519. 2015. [CCF-B]
 
3. Ximeng Li, Heiko Mantel, Markus Tasch: Taming Message-Passing Communication in Compositional Reasoning about Confidentiality. In Proceedings of the 15th Asian Symposium on Programming Languages and Systems (APLAS), pp. 45-66. 2017. [CCF-C]
 
4. Ximeng Li, Flemming Nielson, Hanne Riis Nielson, Xinyu Feng: Disjunctive Information Flow for Communicating Processes.  In Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC), pp. 95-111. 2016. [EI会议]
 
5. Ximeng Li, Flemming Nielson, Hanne Riis Nielson: Future-dependent Flow Policies with Prophetic Variables. In Proceedings of the 11th Workshop on Programming Languages and Analysis for Security (PLAS), pp. 29-42. 2016. 
 
6. Kevin Müller, Sascha Uhrig, Flemming Nielson, Hanne Riis Nielson, Ximeng Li, Michael Paulitsch, Georg Sigl: Automatic Information Flow Validation for High Assurance Systems.  In International Journal on Advances in Software, Vol 9 (3&4), pp. 191-206. 2016. 
 
7. Xi Wu, Ximeng Li, Alberto Lluch Lafuente, Flemming Nielson, Hanne Riis Nielson: Klaim-DB: A Modeling Language for Distributed Database Applications. In Proceedings of the 10th International Conference on Coordination Languages and Models (Coordination), pp. 197-212. 2015. [CORE-A]
 
8. Hanne Riis Nielson, Flemming Nielson, Ximeng Li: Hoare Logic for Disjunctive Information Flow. In Programming Languages with Applications to Biology and Security, pp. 47-65. 2015. [EI]
 
研究生培养:
 
区块链(blockchain)是一种多中心、易扩展、防篡改、历史数据可追溯的分布式数据结构。其上运行的智能合约(smart contract)是一种无歧义地表示、自动化地执行各种多方事务的程序。区块链和智能合约技术已被大量应用于数字货币交易、智能制造、供应链管理、产品溯源、电子证据保存、医疗信息整合等领域。
 
研究生培养方向为区块链、智能合约正确性、安全性的形式化验证。主要技术手段是逻辑推导和证明。欢迎对相关研究问题感兴趣的同学与我联系。