个人简介:吴昊,男,工学博士,讲师。主要从事计算机软件和理论方面的教学和研究工作,包括软件工程形式化方法、可验证计算、计算复杂性理论等方向。
(一)个人基础信息
性别:男
职务:讲师
博硕导:无
电子邮箱:haowu@shmtu.edu.cn
办公地点:皇冠正规娱乐平台213室
办公电话:021-38282821
(二)教育经历
2009年至2013年于武汉大学计算机学院 ,获计算机软件与理论专业博士学位。
(三)工作经历
2014至今,于皇冠皇冠正规娱乐平台计算机科学与技术专业,任讲师。
(一)研究领域及科研团队
研究领域:软件工程形式化方法;可验证计算;计算复杂性理论
(二)代表性论文成果
[1] 吴昊, 毋国庆. 程序的动态完整性:模型和方法. 计算机研究与发展,2012 ,49(9):1874–1882.
(一)授课信息
主讲本科生课程:编译原理、程序设计与开发、高级语言程序设计等