張玉平，男，生于1966年11月，教授。
1993年于北京師范大學(xué)數(shù)學(xué)系獲得基礎(chǔ)數(shù)學(xué)博士學(xué)位，攻讀博士學(xué)位期間主要從事純粹邏輯研究，專注于模型論的穩(wěn)定性理論分析。同年進(jìn)入北航金年會誠信信譽(yù)至上博士后流動站，1995年出站并留校，工作于北航金年會誠信信譽(yù)至上軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室。先后參加兩項(xiàng)973項(xiàng)目，將邏輯方法應(yīng)用于計算機(jī)科學(xué)前沿研究，特別是形式理論的極限研究；近期參加一項(xiàng)863項(xiàng)目，將形式證明及反證技術(shù)應(yīng)用于設(shè)計軟件測試有效算法。在純粹理論研究方面，致力于獨(dú)立性及可判定性的研究，使用數(shù)理邏輯的模型論工具，研究理論計算科學(xué)中所關(guān)注的某些邏輯系統(tǒng)和一些純粹數(shù)學(xué)問題的內(nèi)在邏輯性質(zhì)。多年從事本科生《離散數(shù)學(xué)》課程的數(shù)理邏輯部分及研究生的《高級數(shù)理邏輯》課程的教學(xué)工作，努力探索一套適合于計算機(jī)科學(xué)的數(shù)理邏輯教學(xué)體系。
