周學海[中國科學技術大學教授]

個人簡歷
周學海，男，1966年5月生，教授，博士生導師。分別於1987、1990、1997獲中國科學技術大學學士、碩士和博士學位。現任中國科學技術大學軟體學院執行院長，教育部計算機基礎課程教學指導委員會秘書長，中國計算學會並行與分散式計算專業委員會委員，安徽省計算機學會常務理事。
近年來作為項目負責人所主持完成的項目有：國家自然科學基金項目”低能耗軟體設計中的能耗模型研究“；中國科學技術大學高水平大學基地建設擇優項目”計算機整體設計技術“；”Boot固件“；中科大校內青年基金項目”基於結構計算的自適應超媒體研究系統“；安徽省自然科學基金項目”基於WEB的自適應教育超媒體“。
曾作為主要參加者參加的項目有：安徽省自然科學基金”基於語言的SOC設計方法研究“、”嵌入式作業系統中的關鍵技術研究“。國家自然科學基金項目”基於軟體構造過程模型和機制研究“；中國科學院七五重點攻關項目”KD-Prolog編譯系統“，該項目通過中國科學院主持的鑑定，並獲得1991年度中國科學院科技進步二等獎；中國科學院八五攻關項目”KD-Prolog集成開發環境“，該項目獲聯合國TIPS科技之星創新獎。
目前正在主持博士點基金項目”ASIP體系結構形式化驗證方法研究“。安徽省自然科學基金項目”可重構計算資源的調度方法研究“。
近年來在軟體學報、計算機研究與發展、以及其他核心刊物和國內外學術會議上發表論文50餘篇，出版譯著兩部，其中SCI/EI/ISTP檢索20餘篇。2003年度寶鋼優秀教師和安徽省自然科學優秀論文一等獎。
研究方向
嵌入式系統基礎軟體、可重構計算平台、無線感測器網路中的安全問題等
獲獎情況
中國科學技術大學張宗植優秀教師獎，1996
KD-Prolog集成開發環境，獲聯合國TIPS“科技發明創新獎”，1996年
主要論著
(1)周學海，李光亞，李曦，龔育昌，趙振西，一種基於模式匹配的超媒體查詢模型，軟體學報，2002.7。
(2)周學海，李曦，龔育昌，趙振西，多維向量動態索引結構研究，軟體學報，2002.4
(3)JinfengNi,XuehaiZhou,KexiangWang,HaiyanXu,KDAEHS:fromArchitecturetoSystem,AcceptedtoThe2001IEEEInternationalConferenceonInformationTechnology:CodingandComputing(ITCC2001),April2-4,2001,LasVegas,Nevada.,USA.
(4)XuehaiZhou,JinfengNi,HaiyanXu,ZhenxiZhao,AnAdaptiveEducationalHypermediaSystemBasedonWeb,AcceptedtotheFirstInternationalConferenceonInformation(INFORMATION’2000),Oct16-19,2000,Fukuoka,Japan.
(5)徐海燕，周學海，倪勁峰，趙振西，基於結構特性的超媒體模型，計算機研究與發展，37（4），2001。
(6)HaiyanXu,XuehaiZhou,JinfengNi,ZhenxiZhao，AdaptabilityinKDAEHS：anAdaptiveEducationalHypermediaSystemBasedonStructuralComputing,Proceedingsofthe11thACMConferenceonHypertext(Hypertext’00)，SanAntonio,Texas,USA,May30th-June3,2000.
(7)HaiyanXu,XuehaiZhou,ZhenxiZhao，KDAHS:AnAdaptiveHypermediaSystemBasedonStrusturalComputing，ACMDigitalLibrary’99WorkshoponOrganizingWebSpace,Berkeley,CA,USA,Auguest14th,1999.
(8)周學海，李光亞，趙振西，基於圖象對象語義模型的圖象對象的創建，計算機研究與發展，1998，35(9)
(9)周學海，李光亞，趙振西，按內容檢索的圖象資料庫系統數據模型，軟體學報，1998，9(3)
(10)李光亞，周學海，趙振西，一種開放式超媒體系統版本模型，軟體學報，1998，9(2)
(11)李光亞，周學海，趙振西，超媒體模型中時態行為研究，計算機研究與發展，1998，35(4)