一、基础信息

个人简介：吴昊，男，工学博士，讲师。主要从事计算机软件和理论方面的教学和研究工作，包括软件工程形式化方法、可验证计算、计算复杂性理论等方向。最近关注复杂性理论中的通讯复杂性和电路深度复杂性,以及它们的交叉领域,特别是KRW猜想, 在KRW猜想的特殊情况上取得一定成果. 在计算机研究与发展, COCOON等期刊会议上发表数篇论文。

（一）个人基础信息

性别：男

职务：讲师

博硕导：无

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

办公地点：信息工程学院213室

办公电话：021-38282821

（二）教育经历

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

（三）工作经历

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

二、科学研究

（一）研究领域及科研团队

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

（二）代表性论文成果

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

[2]Hao Wu.Direct Sum Theorems From Fortification. COCOON 2024: 409-420(CCF B类会议)

[3]Hao Wu.A Nearly-4logn Depth Lower Bound for Formulas With Restriction on Top. COCOON  2025: 179-192(CCF B类会议)

三、教学信息

（一）授课信息

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