个人简介：
李希萌，博士，讲师/硕士生导师。研究领域为形式化验证——主要关注点包括区块链、智能合约的验证、形式语言中信息流安全的验证等。于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）是一种无歧义地表示、自动化地执行各种多方事务的程序。区块链和智能合约技术已被大量应用于数字货币交易、智能制造、供应链管理、产品溯源、电子证据保存、医疗信息整合等领域。
研究生培养方向为区块链、智能合约正确性、安全性的形式化验证。主要技术手段是逻辑推导和证明。欢迎对相关研究问题感兴趣的同学与我联系。