• W

    當前位置: 真人平台|主页 > 師資隊伍 > W > 正文

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

    吳際,男,博士,副教授,碩士生導師,計算機學院軟件工程系副主任,國家先進航空發動機協同創新中心骨干成員。1974年12月出生,安徽肥西人,2003年博士畢業于北京航空航天大學。主要研究領域是航空航天實時嵌入式系統與軟件,具體研究方向包括:綜合操作系統與應用軟件的嵌入式系統體系結構設計與仿真、安全關鍵嵌入式軟件的需求建模與驗證、實時系統設計、體系結構建模與驗證、基于證據的安全論證方法、測試自動化方法、軟件可靠性與安全評估方法等。從2004年開始真人平台|主页,其研究連續獲得了多項國家科研項目的支持,包括國家自然科學基金(2項)、863國際合作項目(1項)、863重點項目(2項)真人平台|主页、863目標導向項目(1項)、總裝探索研究重大項目(1項)真人平台|主页、國防預研項目(2項)、國防技術基礎項目(1項目)、國防預研基金項目(3項)真人平台|主页、航空基金項目(2項)、民機預研項目(3項)等。與國內航空航天研究所開展了密切合作,面向工業部門的挑戰性問題開展研究。近年來與挪威的Simula研究所、維也納工業大學的計算機技術研究所、慕尼黑工業大學的計算機系真人平台|主页、埃因霍溫工業大學計算機系真人平台|主页、盧森堡大學的軟件可信研究中心等建立了實質性的合作關系真人平台|主页,多名研究生得到了國際研究訪問和聯合指導機會,發表了一系列高質量的研究論文真人平台|主页真人平台|主页。 2007年獲得ETSI(歐洲電信標準委員會)的首批TTCN-3測試認證;2007年獲得IBM的SOA Associate(SOA專業知識)和IBM SOA Architect(SOA架構師)認證。在研究工作中,注重培養學生的工程實踐真人平台|主页、獨立思考、科學探索和團隊協作能力,提供多種機會給學生進行實踐和鍛煉。 在授課方面,主講研究生高級軟件工程課程(學位課)真人平台|主页,講授高級建模思想和模型驅動軟件開發;主講本科生的面向對象技術(學位課),講授面向對象設計思想和基于規格的程序設計與驗證方法真人平台|主页。 論文著作: 已在IEEE ASE 2004, COMPSAC 2004, COMPSAC2006, ICSEA2006, ICSEA2007, ICSR2008, ICYCS2008, APSEC2008, WSE2009, CSC2011真人平台|主页,MODELS2013,QSIC2013,ISSRE2013等國際會議,國際頂級期刊SPE真人平台|主页、IST、軟件學報、計算機學報、清華學報英文版真人平台|主页、北京航空航天大學學報、電子學報等期刊上發表論文30余篇真人平台|主页。擔任IEEE International Conference on Web Systems Evolution 2009 (WSE 2009)學術會議的程序主席,International TTCN-3 User Conference 2009\2010,IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2009),QSIC 2010,ICST2012,QSIC2013等學術會議程序委員會成員。手機:13521128276

    真人平台|主页