吴昊


一、基础信息

个人简介:吴昊,男,工学博士,讲师。主要从事计算机软件和理论方面的教学和研究工作,包括软件工程形式化方法、可验证计算、计算复杂性理论等方向。

(一)个人基础信息

性别:男

职务:讲师

博硕导:无

电子邮箱:haowu@shmtu.edu.cn

办公地点:信息工程学院213

办公电话:021-38282821

(二)教育经历

2009年至2013年于武汉大学计算机学院 ,获计算机软件与理论专业博士学位。

(三)工作经历

2014至今,于上海海事大学信息工程学院计算机科学与技术专业,任讲师。

二、科学研究

(一)研究领域及科研团队

研究领域:软件工程形式化方法可验证计算计算复杂性理论

(二)代表性论文成果

[1] 吴昊, 毋国庆. 程序的动态完整性:模型和方法. 计算机研究与发展,2012 ,49(9):18741882.

三、教学信息

(一)授课信息

主讲本科生课程:编译原理、程序设计与开发、高级语言程序设计等


返回原图
/