【導(dǎo)讀】李未院士是我國著名的計算機科學(xué)家。1943年6月8日出生，1966. 2020-2020年任北京航空航天大學(xué)校長。開發(fā)環(huán)境國家重點實驗室主任。李未院士在實用并發(fā)語言操作語義和。形式理論序列及修正演算等方面取得了開創(chuàng)性研究成果。理及傳輸?shù)睦碚撆c方法”首席科學(xué)家。李未院士1995年獲國家自然。國家級科技進步二等獎一項，2020年獲國家教學(xué)成果一等獎一項。及實施方案論證專家委員會主任委員。程序模塊以及程序例外處理的語義。他的工作系統(tǒng)地解決了諸如像。奠定了理論基礎(chǔ)。究，取得了富有成效的創(chuàng)新性研究成果。在國際、國內(nèi)學(xué)術(shù)刊物和國際。學(xué)術(shù)會議發(fā)表學(xué)術(shù)論文百余篇，中文專著2部，英文專著1部。防科技預(yù)先研究等20余項國家科研任務(wù)。用中存在的規(guī)模小、實時性差等問題，進行研究，取得創(chuàng)新成果。創(chuàng)建了中國計算機學(xué)會虛擬現(xiàn)實與可視化技術(shù)專業(yè)委員會。發(fā)明專利授權(quán)12項。已培養(yǎng)博士36人，碩士50余人。

　　

【正文】 2020 年北航計算機學(xué)院成立，曾擔(dān)任計算機系 602 教研室(軟件教研室 )主任。主要從事計算機專業(yè)教學(xué)與科研工作。教學(xué)方面，為計算機專業(yè)本科生主講“程序設(shè)計語言”、“算法與數(shù)據(jù)結(jié)構(gòu)”等重點核心課程，為計算機專業(yè)碩士研究生講授過“ Ada 軟件工程”課程，都取得了良好的教學(xué)效果， 2020 年被授予“北京航空航天大學(xué)優(yōu)秀主講教師”榮譽稱號。先后在“科學(xué)出版社”和“北京航空航天大學(xué)出版社”編著出版了總計超過 250 萬字的多本 教材和著作，其中，多本關(guān)于算法與數(shù)據(jù)結(jié)構(gòu)研究的教材曾分別被多所高等學(xué)校計算機專業(yè)本科生和北京市高等教育自學(xué)委員會作為材使用，效果良好。另外，與人合作翻譯出版了兩本總計近 100 萬字的科技專著。 科研方面，作為項目負(fù)責(zé)人或者主要成員參加和完成了多項國家“八五”、“九五”以及其他領(lǐng)域的重大科研項目的研究與開發(fā)，成果顯著，取得了良好的社會效益與經(jīng)濟效益。作為第一作者在國家級重點刊物和國際會議上發(fā)表 6 篇學(xué)術(shù)論文，其中，多篇論文被 EI收錄。 郝愛民，男， 1968 年 10 月生，博士，教授，虛擬現(xiàn)實新技術(shù)教 育部重點實驗室副主任，中國計算機學(xué)會虛擬現(xiàn)實專業(yè)委員會委員。 主要從事虛擬現(xiàn)實方面的研究和系統(tǒng)開發(fā)工作。近五年來主持了國家科技攻關(guān)科技奧運專項“ 2020 年北京奧運會開閉幕式創(chuàng)意仿真平臺及逼真演示環(huán)境開發(fā)”、國家 863 計劃項目“通用網(wǎng)絡(luò)游戲引擎及示范應(yīng)用”、教育振興計劃“數(shù)字圖書館中三維資源建設(shè)及示范應(yīng)用”、教育部項目“全國碩士研究生入學(xué)統(tǒng)一考試網(wǎng)上報名系統(tǒng)”等 20 余項。開展復(fù)雜對象建模與逼真繪制、游戲中的幾何和物理引擎、基于觸覺力覺的人機交互等方面的研究。申請國家發(fā)明專利 4 項，合著專著 2 部，在國內(nèi)外學(xué)術(shù)刊物 上發(fā)表學(xué)術(shù)論文 20 余篇。獲國家科技進步二等獎各 1 項，教育部科技進步一等獎 2 項，獲 2020 年度教育部新世紀(jì)優(yōu)秀人才支持計劃資助。 招生要求：具有良好的數(shù)學(xué)基礎(chǔ)和文字表達能力，三維游戲開發(fā)、圖形學(xué)或虛擬現(xiàn)實相關(guān)經(jīng)驗及濃厚的個人興趣，有協(xié)作精神和一定的溝通能力。 聯(lián)系方式： Email: , MSN ： 李先賢，男， 1969 年 9 月出生于廣西陽朔縣。 1997 年在廣西師范大學(xué)獲基礎(chǔ)數(shù)學(xué)碩士學(xué)位， 2020 年畢業(yè)于北京航空航 天大學(xué)計算機軟件與理論專業(yè)，獲工學(xué)博士學(xué)位。現(xiàn)任北航計算機學(xué)院教授、博士生導(dǎo)師。 研究方向： 1）可信軟件與服務(wù)計算 2）分布式系統(tǒng)安全與信任 3）網(wǎng)絡(luò)與信息安全 現(xiàn)主持了國家 863 計劃，國家核高基項目等，并參與國家 973 計劃、國家自然基金和國防基礎(chǔ)科研等多項國家研究項目。在重要國際期刊、會議，以及《中國科學(xué)》、 J. Computer of Sci. amp。 Tech.,《計算機學(xué)報》和《軟件學(xué)報》等國家權(quán)威刊物發(fā)表學(xué)術(shù)論文近 30 篇。獲得國家科技進步二等獎 2 項、國防科技一等獎 1 項，入選 2020 年度教育部“新世紀(jì) 優(yōu)秀人才”，北航“藍(lán)天科研新星”。 聯(lián)系電話： 010－ 82338293；電子郵件： 呂衛(wèi)鋒， 38 歲，教授。 1992 年畢業(yè)于山東大學(xué)計算機系， 1998 年博士畢業(yè)于北京航空航天大學(xué)計算機系。現(xiàn)任軟件開發(fā)環(huán)境國家重點實驗室副主任。主要為北航計算機學(xué)院研究生開設(shè)“程序設(shè)計語言原理與實踐”學(xué)位課程，為高年級本科生開設(shè)“程序設(shè)計方法學(xué)”選修課程，主持國家 973 計劃、 863 計劃和航空基金等課題共十余項，主持并完成多項交通信息服務(wù)領(lǐng)域的國家工程和研究項目，包括國家發(fā)改委 CNGI“北京 Inter ITS 應(yīng)用示范”、國防科工委“北京市 (奧運 )交通與導(dǎo)航定位信息服務(wù)系統(tǒng)”、國家科技部 863 計劃“面向?qū)Ш竭\營服務(wù)的高質(zhì)量動態(tài)交通信息關(guān)鍵技術(shù)研究”課題、 863 計劃重點項目“電信網(wǎng)絡(luò)綜合業(yè)務(wù)平臺及其應(yīng)用系統(tǒng)”等。發(fā)表學(xué)術(shù)論文 37 篇，其中 SCI收錄 2 篇， EI收錄 28 篇， ISTP 收錄 7 篇，國家發(fā)明專利8 項、計算機軟件著作權(quán) 6 項。獲 02 年度教育部科技進步一等獎，04 年度國家科技進步二等獎， 2020 年度北京市科技新星稱號。目前是國家交通信息服務(wù)標(biāo)準(zhǔn)委員會通信和信息發(fā)布專家組成員，國家科技 平臺標(biāo)準(zhǔn)化技術(shù)委員會委員。 主要研究方向：主要研究方向為大型軟件開發(fā)方法與面向領(lǐng)域服務(wù)的軟件支撐技術(shù) 聯(lián)系方式： 楊欽，博士，教授 /博導(dǎo)。 1991 年畢業(yè)于北京航空航天大學(xué)飛行器設(shè)計與應(yīng)用力學(xué)系， 2020 年于北京航空航天大學(xué)計算機學(xué)院獲得計算機軟件與理論博士學(xué)位，現(xiàn)于北京航空航天大學(xué)計算機學(xué)院軟件開發(fā)環(huán)境國家重點實驗室從事教學(xué)與科研工作，多年以來一直從事計算幾何、計算機圖形學(xué)、可視化與幾何建模等方面的研究工作。 在理論研究方面一直從事以計算機圖形學(xué)的 基礎(chǔ)學(xué)科計算幾何為核心的研究內(nèi)容，重點研究計算幾何中的網(wǎng)格生成技術(shù)，在這一領(lǐng)域已達到了國際領(lǐng)先水平。在 2020 年提出了任意限定帶權(quán) Delaunay三角網(wǎng)格生成算法并給出了嚴(yán)格的理論證明，并通過了北京市科委組織的專家鑒定，獲得了國際領(lǐng)先的高度評價，該成果獲得了北京市科技進步三等獎。在國家科學(xué)技術(shù)學(xué)術(shù)著作出版基金的資助下出版學(xué)術(shù)專著《 Delaunay 三角網(wǎng)格生成技術(shù)》。在國內(nèi)外學(xué)術(shù)期刊和學(xué)術(shù)會議上發(fā)表論文 30 余篇，其中 EI 收錄文章 16 篇，獲國家發(fā)明專利 2 項。 在應(yīng)用技術(shù)研究包括石油勘探開發(fā)行業(yè)的三維地質(zhì)建模、油 藏建模；地下水資源評價地質(zhì)建模等。先后承擔(dān)了多項橫向課題，開發(fā)出了逆斷層等值線繪圖軟件、小層平面圖軟件，三維交互式地質(zhì)建模軟件以及斷塊油藏三維地質(zhì)建模系統(tǒng)被廣泛地應(yīng)用到了石油領(lǐng)域的眾多科研和生產(chǎn)單位，產(chǎn)生了廣泛的影響。另外，還曾承擔(dān)過 863 計劃資源環(huán)境應(yīng)用網(wǎng)格子課題：水文地質(zhì)模型自動識別應(yīng)用網(wǎng)格系統(tǒng)水文地質(zhì)柵格模型追蹤矢量化服務(wù)與水文地質(zhì)模型三維顯示 WEB 服務(wù)。并曾與中國地質(zhì)調(diào)查局開始合作開發(fā)《地下水資源評價三維可視化基礎(chǔ)平臺》。 在教學(xué)方面多年擔(dān)任計算機學(xué)院本科生與研究生的計算機圖形學(xué)課程的主講教師，并曾 編輯出版 “ 21 世紀(jì)大學(xué)本科計算機專業(yè)系列教材” 《計算機圖形學(xué)》。 研究方向：計算幾何、計算機圖形學(xué)、可視化與幾何建模。 專著： 《限定 Delaunay 三角網(wǎng)格剖分技術(shù)》 電子工業(yè)出版社 202091 《計算機圖形學(xué)》 清華大學(xué)出版社 202031 相關(guān)課程：計算機圖形學(xué) 聯(lián)系方式：電話： 82316283， Email： 劉軼，男，博士，副教授。畢業(yè)于西安交通大學(xué)計算機系， 2020 年獲計算機系統(tǒng)結(jié)構(gòu)專業(yè)博士學(xué)位， 2020 年調(diào)入北京航空航天大學(xué)，現(xiàn)擔(dān)任中德聯(lián)合軟件研究所副所長兼總工。主要研究方向：計算機系統(tǒng)結(jié)構(gòu)及高性能計算、計算機網(wǎng)絡(luò)。近年來先后主持國家自然科學(xué)基金項目“面向多核處理器的硬軟件協(xié)作 Transactional Memory系統(tǒng)結(jié)構(gòu)”、國家 863 計劃重點項目“安全網(wǎng)絡(luò)服務(wù)器”、“新一代互聯(lián)網(wǎng)技術(shù)綜合實驗環(huán)境”及企業(yè)委托項目“實時硬盤加密卡”、“面向電力應(yīng)用的實時數(shù)據(jù)庫系統(tǒng)軟件”等。獲得授權(quán)發(fā)明專利 5 項，在核心期刊及國際會議發(fā)表論文 20 余篇，被 EI、 SCI 檢索 10余篇。 辦公電話： 82328261 辦公地點：新主樓 G817 通信地址：北京 航空航天大學(xué)計算機學(xué)院中德所 王雷，男，博士，副教授，從事軟件工程、過程工程和系統(tǒng)軟件等方面的教學(xué)與研究工作。講授計算機系本科生專業(yè)基礎(chǔ)課“操作系統(tǒng)”和研究生限選課“并行程序設(shè)計”兩門。作為主要研究人員參加了七項科研項目，國家自然科學(xué)基金資助項目兩項，國家航空基金資助項目一項，國際合作項目一項，橫向項目三項。目前正在負(fù)責(zé)北京市自然科學(xué)基金項目“ VLIW體系結(jié)構(gòu)及其編譯優(yōu)化算法的研究”、橫向項目“優(yōu)化編譯器與操作系統(tǒng)”、與微軟亞洲研究院合作項目“編譯優(yōu)化技術(shù)的研究”等項目。 目前研究方向為： 1．操作系統(tǒng)； 2．編譯技術(shù)； 3．軟件工程。 白躍彬，男，博士，副教授 . 2020 年在西安交通大學(xué)獲計算機系統(tǒng)結(jié)構(gòu)專業(yè)博士學(xué)位 . 2020年至 2020年在日本 Nihon 士后研究，此后加入北京航空航天大學(xué)計算機學(xué)院中德軟件所 . 長期從事計算機網(wǎng)絡(luò)、計算機系統(tǒng)結(jié)構(gòu)方面的研究工作，近五年已主持國家自然科學(xué)基金項目、 863 課題、國防預(yù)研等 10 余項研究課題。已在國內(nèi)外學(xué)術(shù)刊物和重要國際會議上發(fā)表論文 50余篇；譯著一部 . 目前，已在移動 ad hoc 網(wǎng)絡(luò)、無線傳感器網(wǎng)絡(luò)、普 適計算及計算機虛擬化技術(shù)領(lǐng)域申請發(fā)明專利 15 項 .主講研究生“嵌入式系統(tǒng)”、本科生“計算機系統(tǒng)結(jié)構(gòu)”課程 . 近五年已培養(yǎng)碩士研究生 15 名 (含 1名外國留學(xué)生 ).分別在 2020 年和 2020 年獲”北航優(yōu)秀碩士論文指導(dǎo)教師”榮譽 . 近期的主要研究方向包括無線傳感器網(wǎng)絡(luò)及移動 ad hoc網(wǎng)絡(luò)的拓?fù)淇刂萍靶阅軆?yōu)化、跨層設(shè)計及能量優(yōu)化、容遲及容斷網(wǎng)絡(luò)、contextawareness 計算及面向多核 /眾核結(jié)構(gòu)的虛擬化技術(shù) . 現(xiàn)為中國計算機學(xué)會普適計算、服務(wù)計算專委會委員。 辦公地點：北航新主樓 G818 室；辦公電話： 82339020；電子郵件：. 艾明晶，女， 1965 年 8 月出生，漢族，共產(chǎn)黨員。 1989 年 1 月畢業(yè)于北京航空航天大學(xué)自動控制系，獲碩士學(xué)位。副教授，現(xiàn)任北航計算機學(xué)院教學(xué)實驗中心副主任、黨支部書記。在讀博士。兼任北京高教學(xué)會計算機基礎(chǔ)教育研究會理事會理事，全國高等院校計算機基礎(chǔ)教育研究會理工專業(yè)委員會委員。 主要研究方向：圖像處理，虛擬現(xiàn)實，嵌入式系統(tǒng)。 講授課程：《數(shù)字邏輯》，《計算機 EDA 設(shè)計》。 曾多次組織與指導(dǎo)本科生參加全國和北京市大學(xué)生電子設(shè)計競賽并獲 得多項獎勵。培養(yǎng)研究生已畢業(yè) 13 人，在讀 9 人。 目前正在進行的科研項目：主持軍口 863 計劃項目“ xxx的 xxx三維特征提取與立體顯示技術(shù)研究”，參與民口 863 計劃重點項目“虛實融合協(xié)同工作環(huán)境技術(shù)與系統(tǒng)”。 近幾年主持并完成的重要科研項目：軍口 863 計劃項目“面向 xxx的 xxx三維特征提取與遠(yuǎn)程立體顯示技術(shù)研究”、“ xxx三維信息提取及立體顯示 xxx”、“ xxx 自由立體顯示 xxx”，軍口 863 計劃項目子課題“ xxx仿真系統(tǒng)中協(xié)議數(shù)據(jù)單元描述”，總裝備部預(yù)研項目“ xxx 操作系統(tǒng)安全組件 xxx”、“ xxx 飛機飛 行參數(shù)處理系統(tǒng) xxx”。 論文與專著：在國際會議和國內(nèi)核心刊物上發(fā)表學(xué)術(shù)論文數(shù)十篇，并有多本教材和譯著出版。 獲獎情況： 2020 年實驗中心獲北航“巾幗建功”先進集體光榮稱號；2020 年獲成飛獎教金二等獎， 20202020 年度北航優(yōu)秀教學(xué)成果獎一等獎 1 項； 2020 年獲 Nokia－北航獎教金，本科評估先進個人獎； 2020年獲北航優(yōu)秀教學(xué)成果獎三等獎 1 項，西飛獎教金二等獎； 2020 年獲北航優(yōu)秀教學(xué)成果獎二等獎 1 項、三等獎 4 項； 2020 年獲優(yōu)秀班主任一等獎； 2020 年獲北航優(yōu)秀教學(xué)成果獎三等獎 1 項； 2020 年獲北航昆騰獎教金。 電話： 82317611（ O），電子郵件： 劉 連忠，副教授。曾先后承擔(dān)、完成機器人學(xué)研究、計算機應(yīng)用課題和工程項目二十余項。近年來主持完成了中組部組織干部管理集成信息系統(tǒng)、北京市公安局海淀分局警務(wù)公開系統(tǒng)、北京市公安局海淀分局電視會議系統(tǒng)、北京市公安局海淀分局警情分析系統(tǒng)、國務(wù)院國資委企業(yè)領(lǐng)導(dǎo)人員管理信息系統(tǒng)、國防科工委信息中心計算機網(wǎng)絡(luò)系統(tǒng)工程等多個大型信息系統(tǒng)開發(fā)和計算機網(wǎng)絡(luò)系統(tǒng)集成工程項目。完成國家“ 863”課題大型應(yīng)用課題“面向全國組織、干部系統(tǒng)的應(yīng)用集成中間件平臺及其應(yīng)用”等。主持研發(fā)了多個信息安全軟件系統(tǒng)。 先后共承擔(dān)本科及研究生 7 門課程教 學(xué)任務(wù)，目前主要承擔(dān)研究生課程“大型信息系統(tǒng)分析與設(shè)計”和本科生課程“信息系統(tǒng)分析與設(shè)計”的教學(xué)任務(wù)。已先后指導(dǎo)畢業(yè)研究生共 55名。 1997 年獲航空工業(yè)總公司實驗室工作先進個人， 1999 年獲國家省部級科技進度進步二等獎，先后獲 2020 年度和 2020 年度北京航空航天大學(xué)科技開發(fā)特等獎。 2020 年獲 20202020 年度校優(yōu)秀共產(chǎn)黨員 , 曾獲 20202020 年度北京航空航天大學(xué)科技開發(fā)成就獎。發(fā)表學(xué)術(shù)論文81 篇，獲軟件著作權(quán) 10 項。 主要研究方向包括：信息安全、面向領(lǐng)域服務(wù)的軟件支撐技術(shù)、大規(guī)模計算機應(yīng)用工 程化、電子政務(wù)、數(shù)據(jù)工程等，在大型計算機信息系統(tǒng)的分析與設(shè)計和信息安全工程建設(shè)方面具有較強的經(jīng)驗。 李巍，女，博士，副教授。主要研究方向為：（ 1）無線網(wǎng)絡(luò)資源管理；（ 2）計算機網(wǎng)絡(luò)測量及服務(wù)體系；（ 3）新型網(wǎng)絡(luò)體系結(jié)構(gòu)。 主講計算機學(xué)院研究生學(xué)位課《高等計算機網(wǎng)絡(luò)》、《計算機網(wǎng)絡(luò)》全校選修課、工程碩士《計算機通信網(wǎng)絡(luò)》等課程，完成北航研究生教育與發(fā)展研究專項基金項目一項，承擔(dān)《高等計算機網(wǎng)絡(luò)》精品課建設(shè)工作。 作為項目負(fù)責(zé)人和主要成員完成多項 86航空基金以及國家部委的科研項目，近年來參 與和主持完成的項目有：承擔(dān) 863 課題“支持大規(guī)模分布式網(wǎng)絡(luò)應(yīng)用的自主計算環(huán)境的研究”；承擔(dān)“中國專利審查管理系統(tǒng)三期”子項目的研發(fā)工作；作為主要技術(shù)