• 副教授

    當前位置: 首頁 > 師資隊伍 > 全體教師 > 副教授 > 正文

                姓名:         王雷
                職位:              
                座機:         010-82316284
                郵編:         100191
                辦公地址:         北京航空航天大學新主樓G920
                電子郵箱:         wanglei@buaa.edu.cn
                個人主頁:         主頁更新中
      個人介紹

    王雷,男,博士,副教授,從事操作系統、編譯技術等方面的教學與研究工作。講授計算機系本科生專業基礎課“操作系統”和研究生選修課“操作系統結構分析”兩門。承擔了國家自然科學基金項目“基于復雜網絡的操作系統演化與結構穩定性研究”,以操作系統內部網絡結構作為研究對象,探索操作系統中復雜網絡的形成機理和演化規律。與百度合作,負責了863重大項目“以支撐搜索服務為主的網絡操作系統研制”子課題“分布式系統可用性的研究”。負責了核高基重大專項“開源操作系統內核分析和安全性評估”分課題“面向典型硬件平臺及關鍵特性的Android內核特色模塊分析”。參加了863重大專項“高效能計算機系統研制及關鍵技術研究”,并負責“基于龍芯的結點機系統軟件”子課題。在編譯技術方面,負責了航空基金項目“基于并行模型檢測與約束分析的程序安全漏洞檢測方法”、北京市自然科學基金項目“VLIW體系結構及其編譯優化算法的研究”、與微軟亞洲研究院合作項目“編譯優化技術的研究”、與Intel中國研究院合作項目“Java編譯優化技術研究”等相關項目。
    目前研究方向為:
    1. 操作系統:機器學習與操作系統設計、面向大規模應用的操作系統性能分析、操作系統結構演化研究、面向多核異構的操作系統設計、資源受限環境下的操作系統設計。
    2. 編譯技術:基于靜態分析技術的安全漏洞檢測以及編譯技術在安全方面的應用研究。 

    真人平台|主页