论坛时间：2021年12月18日9:00-11:00
论坛形式：腾讯会议，ID 434 976 896
报告及报告人简介
报告1:数理逻辑是计算机科学与系统的天然基础
报告人：刘志明 教授
报告人单位：西北工业大学
报告时间：2021年12月18日9:00-9:45
报告人简介：
刘志明，西北工业大学教授、博士生导师、智能嵌入式系统研究中心（CiES）主任，兼任西南大学讲席教授和软件研究与创新中心（RISE）主任。1988年在中科院软件所获得硕士学位，1988年从中科院软件所获硕士学位，1991年从英国华威（Warwick）大学获计算机科学博士学位。1988年-2015年曾在英国华威（Warwick）大学、莱斯特（Leicester）大学，和联合国大学国际软件研究所工作。2016年全职回国，在西南大学任教至2020年；2021年1月到西北工业大学工作。主要研究方向为软件基础理论、可信软件方法、基于人机融合系统的计算与人工智能的综合理论以及软件架构。主要代表性学术成果有基于模型转换的容错和实时程序设计方法；用于系统可靠性分析的概率时段演算；面向对象程序语义和精化理论；形式化模型驱动软件开发方法rCOS；人机物融合系统软件体系架构建模理论与方法。
报告简介：
根据个人回国几年讲授数理逻辑的一些经验和研究生招生与培养中的一些感受，讨论对数理逻辑和程序逻辑的基本概念和思想，希望能够揭示数理逻辑是计算机科学和系统的天然基础。愿以此能够引起对计算机科学理论基础的教育和学习重视和兴趣。内容和观点一定有偏差和争议，供思考、讨论和批评。
报告2:量子软件工程：机会与挑战
报告人：赵建军 教授
报告人单位：日本九州大学
报告时间：2021年12月18日9:45-10:30
报告人简介：
赵建军，日本九州大学信息与电子工程学院教授，上海交通大学访问教授。1987年本科毕业于清华大学计算机科学与技术系，1997年获得日本九州大学计算机科学博士学位。目前的研究兴趣为量子软件与算法，量子程序语言，可信人工智能等。曾任上海交通大学计算机系和软件学院教授（2005~2016）。日本福冈工业大学计算机系讲师和副教授（1997~2005）。MIT计算机科学与人工智能实验室访问科学家（2002~2003），日本国立情报学研究所客座教授（2012~2017）。
报告简介：
量子软件在充分挖掘量子计算系统的潜力方面起着关键作用，正引起越来越多的关注。报告将首先给出"量子软件工程"的定义，并提出量子软件生命周期的概念。在此基础上，报告将简要介绍量子软件工程领域的研究现状，以及所面临的机遇和挑战。
