本页链接： http:/archives/7417
吴昊，工学博士，讲师。
办公地点：信息楼213室
办公电话：021-38282821
教育工作经历：
2003-2007 武汉大学，计算机学院，获计算机科学与技术学士学位
2007-2009 武汉大学，计算机学院，获计算机软件与理论专业硕士学位
2009-2013 武汉大学，计算机学院，获计算机软件与理论专业博士学位
2014至今 上海海事大学，糖心vlog，计算机科学与技术专业，讲师
研究方向及兴趣：
软件工程形式化方法、需求工程、可信软件、可验计算、计算复杂性、细粒度复杂性及算法设计
论文：
期刊：
吴昊, 毋国庆. 程序的动态完整性：模型和方法. 计算机研究与发展,2012 ,49(9):1874–1882.
Wu Hao ,Wu Guoqing ,Huang Bo,Ling Xiang,Wu Wei . Proof carrying data for conditional data flow, Journal of Computational Information Systems, 2014，10(3)：1243-1255.
李琳, 毋国庆, 黄勃, 万黎, 吴昊. 基于行为模型的需求可视化研究. 计算机学报, 2013,6(1312—1324).
教学：
当前学期：编译原理
过往学期：程序设计与开发,编译原理,软件工程，实用软件实践，高级语言程序设计