• 教授

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

        姓名:       張玉平
        職位:      
        座機:       010-82339971
        郵編:       100191
        辦公地址:       北京航空航天大學新主樓G1143
        電子郵箱:       zyping@nlsde.buaa.edu.cn
        個人主頁:       主頁更新中
    個人介紹

    張玉平,男,生于 1966 年 11 月,教授。 1993 年于北京師范大學數學系獲得基礎數學博士學位,攻讀博士學位期間主要從事純粹邏輯研究,專注于模型論的穩定性理論分析。同年進入北航計算機學院博士后流動站,1995 年出站并留校,工作于北航計算機學院軟件開發環境國家重點實驗室。先后參加兩項 973 項目,將邏輯方法應用于計算機科學前沿研究,特別是形式理論的極限研究;近期參加一項 863 項目,將形式證明及反證技術應用于設計軟件測試有效算法。在純粹理論研究方面,致力于獨立性及可判定性的研究,使用數理邏輯的模型論工具,研究理論計算科學中所關注的某些邏輯系統和一些純粹數學問題的內在邏輯性質。多年從事本科生《離散數學》課程的數理邏輯部分及研究生的《高級數理邏輯》課程的教學工作,努力探索一套適合于計算機科學的數理邏輯教學體系。


     

    真人平台|主页