博士、讲师

吴 昊

 wuhao

本页链接: http://cie.shmtu.edu.cn/archives/7417

吴昊,工学博士,讲师。

Email:haowu@shmtu.edu.cn

办公地点: 信息楼213室

办公电话:021-38282821


教育工作经历:
2003-2007  武汉大学,计算机学院,获计算机科学与技术学士学位
2007-2009  武汉大学,计算机学院,获计算机软件与理论专业硕士学位
2009-2013  武汉大学,计算机学院,获计算机软件与理论专业博士学位
2014至今   上海海事大学,信息工程学院,计算机科学与技术专业,讲师

研究方向及兴趣:

软件工程形式化方法、需求工程、可信软件、可验计算、计算复杂性、细粒度复杂性及算法设计

论文:

期刊:

吴昊, 毋国庆. 程序的动态完整性:模型和方法. 计算机研究与发展,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).

教学:

当前学期:编译原理,实用软件实践
过往学期:程序设计与开发,软件工程,实用软件实践,高级语言程序设计

 

Flag Counter