一🥃👨🏼‍🍼、基礎信息

個人簡介🦍：吳昊👨🏼‍⚕️，男，工學博士💆🏼‍♀️，講師💱。主要從事計算機軟件和理論方面的教學和研究工作，包括軟件工程形式化方法🤸🏿、可驗證計算🏃‍♂️‍➡️♋️、計算復雜性理論等方向🙅。

（一）個人基礎信息

性別↪️：男

職務👨🏻‍🦲：講師

博碩導：無

電子郵箱♣️：haowu@shmtu.edu.cn

辦公地點：意昂3娱乐213室

辦公電話🧑‍🧑‍🧒‍🧒：021-38282821

（二）教育經歷

2009年至2013年於武漢大學計算機意昂3 ，獲計算機軟件與理論專業博士學位🧛🏿‍♂️。

（三）工作經歷

2014至今，於上海海事大學意昂3娱乐計算機科學與技術專業🏃🏻‍♀️，任講師🪅。

二🩻、科學研究

（一）研究領域及科研團隊

研究領域：軟件工程形式化方法；可驗證計算🚵‍♂️；計算復雜性理論

（二）代表性論文成果

[1] 吳昊, 毋國慶. 程序的動態完整性：模型和方法. 計算機研究與發展,2012 ,49(9):1874–1882.

三😖、教學信息

（一）授課信息

主講本科生課程：編譯原理🙆🏼‍♂️🥾、程序設計與開發、高級語言程序設計等