刘静

教育部可信软件国际联合实验室主任

上海市计算机学会软件工程专委会副主任

上海市计算机学会协同计算专委会副主任

系列国际学术会议程序委员会委员或专题主席‚如：

• Asia-Pacific Software Engineering Conference (APSEC)
• EUROMICRO CONFERENCE on  Software Engineering and Advanced Applications (SEAA)
• IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
• International Workshop on Model-Driven Enterprise Information Systems
• IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering
• International Workshop on Model-Driven Enterprise Information Systems 
• IEEE International Conference on the Engineering of Complex Computer Systems

在国际顶级学术会议和学术期刊等发表论文100余篇

《Science of Computer Programming 》、《Formal Aspect of Computing》、《中国科学》、《软件学报》、《计算机学报》等期刊论文审稿人。

可信智能软件，模型驱动架构，建模与验证、机器学习，知识图谱，金融分析，大模型GPT4

主持国家自然科学基金重大研究计划项目

主持国家重点研发计划课题

主持国家自然科学基金国际合作交流项目

主持国家自然科学基金面上项目

在顶级学术期刊、顶级国际学术会议与《中国科学》《软件学报》等刊物上发表论文100余篇。

与法国ENS Lyon联合培养博士生

与法国INRIA联合培养博士生

与法国INRIA联合培养硕士生

与以色列联合培养硕士生