• 講師

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

     
          姓名:   呂江花  
          職位:              
          座機:     010-82317643  
          郵編:   100191  
    辦公地址:   北京航空航天大學新主樓G1135  
    電子郵箱:   jhlv@buaa.edu.cn  
    個人主頁:   主頁更新中  
    個人介紹

    2003年博士畢業于吉林大學計算機軟件與理論專業,2007年北航博士后出站留校,獲得北航優秀博士后。20123月至7月,在德國波茲坦大學做訪問學者?,F工作于北航計算機學院軟件開發環境國家重點實驗室。

    主要研究方向為軟件形式化方法、面向航空航天的安全攸關系統可信性驗證、人工智能可信性驗證方法等。主持承擔多項國家級、省部級科研項目。包括國家自然科學基金、科技部重點創新基金、國家重點實驗室基金項目等,作為技術骨干參與多項973課題、 863課題以及國家科技支撐計劃項目等。同時,還從事多項航空航天領域相關項目,取得了系統的研究成果,并成功應用于航空航天實際相關應用領域中。其中,任務電子系統自動化檢測產品已經部隊列裝,并持續應用于后續新型中型預警機(新中預);面向航天器自動化測試的通用測試語言及系統,已成為中國空間技術研究院日常測試業務支撐平臺。除此之外還主持承擔多項民政部、地震等行業互聯網相關項目,研發的系統及平臺實際應用于相關行業中。研究成果主要發表在計算機專業領域SCIE)檢索的國際期刊、計算機領域國家一級期刊以及CCF指定學術會議上。發表SCI檢索、EI檢索論文二十余篇,申請并授權多項技術發明專利。

    教學上,多年來一直承擔計算機學院的本科及研究生核心專業課程教學,主講本科學位課程《離散數學》、《計算引論》,研究生學位課程《計算理論》。指導多名碩士研究生,輔助指導多名博士研究生。

    在學術服務方面,擔任期刊審稿人,擔任中國人工智能學會理事,中國人工智能學會基礎理論專業委員會秘書長,組織舉辦多次學術會議。

    聯系方式:

    郵箱:jhlv@nlsde.buaa.edu.cn; jhlv@buaa.edu.cn 電話:82317643, 185 1891 2315

    傳真:82317643 辦公室:北航新主樓G1135

     

    真人平台|主页