博士、讲师

吴 昊

 

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

吴昊,工学博士,讲师。wuhao

Email:haowu@shmtu.edu.cn


办公地点: 信息楼213室

办公电话:021-38282821


教育工作经历:

2003-2007  武汉大学,计算机学院,获计算机科学与技术学士学位

2007-2009  武汉大学,计算机学院,获计算机软件与理论专业硕士学位

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

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


研究方向及兴趣:软件工程形式化方法、需求工程、可信软件、可验计算、组合优化

期刊论文:

  1. 吴昊, 毋国庆. 程序的动态完整性:模型和方法. 计算机研究与发展,2012 ,49(9):1874–1882.
  2. 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.
  3. 李琳, 毋国庆, 黄勃, 万黎, 吴昊. 基于行为模型的需求可视化研究. 计算机学报, 2013,6(1312—1324).

 

Flag Counter