-
2015-10-30
金华由中国计算机学会主办的2015全国理论计算机科学学术年会于2015-10-30在会议指定场馆举办。
毋国庆,武汉大学会议副主席。毕业于武汉大学计算机科学系,现武汉大学计算机学院教授、博士生导师。主要从事软件开发方法和工具,形式化理论和方法,需求工程,软件工程,可信软件的开发方法和理论等方面的研究。多年来,除承担本科和研究生教学工作外,在科研方面曾参加国家“银河—I”巨型计算机操作系统的研制工作。先后主持和负责国家自然科学基金项目、国家高技术研究发展计划(863计划)项目、国家“六.五”攻关项目、“七.五”攻关项目、教育部重点项目、博士学科点专项科研基金项目、国家教育部骨干教师资助计划项目等多项国家和省部委项目,以及一些其它软件开发项目等。多次在日本东京大学等从事软件工程和形式化理论方面的合作研究,已在国内外学术期刊和国际学术会议上发表论文和研究报告多篇。
毋国庆出席会议日程
由中国计算机学会主办的2015全国理论计算机科学学术年会于2015-10-30在会议指定场馆举办。