刘 静

刘静，女，1965 年生，教授，博导，华师大计算机理论研究所，副所长，2008 年、2010年赴法国国家信息与自动化研究所 INRIA，在 AOSTE 实验室进行合作研究，研究了模型驱动架构中动态模型验证与实时系统同步语言问题。2003年2月至2004年4月在联合国大学国际软件技术研究所（United Nations University, International Institute of Software Technology）从事面向对象软件建模，模型一致性，模型精化与形式化方法方面的研究工作。近年主持了多项国家科研项目，包括国家自然可信基金项目“模型驱动架构中模型构造与集成方法”、国家863项目“模型驱动式可信软件开发技术”等。近年在国外期刊、国际会议和国内期刊上发表了论文60余篇。担任过多个系列国际学术会议，如ICECCS,TASE, TTSS, MDEIS, APSEC, CBSE, ICIS等的程序委员会主席、委员或专题主席等职，担任《计算机学报》、《软件学报》、《Journal of Computer Science and Technology》等核心期刊的审稿工作等。