学术活动

[崔梦天][形式化B方法的可信软件开发的关键技术][11-14]

外聘专家学术报告第579期

日期:2017年11月13日 阅读: [字体: ]

主题:形式化B方法的可信软件开发的关键技术  

主讲:崔梦天 教授  西南民族大学  

时间:20171114日(星期二)下午15:00-16:30  

地点:理科楼B402  

主办:科研处  

承办:计算机学院  

主讲简介:

  崔梦天,教授,中国科学院计算机软件与理论专业博士毕业,电子科技大学博士后,硕士生导师,四川省学术和技术带头人后备,瑞士弗里堡大学访问学者。主要从事可信软件和优化算法等领域的教学与科研工作。在《计算机学报》、《系统科学与电子技术》等刊物发表学术论文30余篇,出版专著2部,软件著作权多项。主持国家自然科学基金项目、中国博士后科学基金项目等省部级项目多项。担任国家自然科学基金委通讯评审专家、科技部高技术中心国家重点研发计划项目评审专家、四川省科技进步奖评审专家、四川省科技计划项目评审专家、成都市科技项目评审专家和国内外部分重要学术期刊评审专家。

责任编辑:李冬梅

[打印文章] [添加收藏]
code