中山大學(xué)信息科學(xué)與技術(shù)學(xué)院導(dǎo)師介紹：?jiǎn)毯Ｑ?/h1>

教培參考

教育培訓(xùn)行業(yè)知識(shí)型媒體

發(fā)布時(shí)間: 2023-03-15 17:35:04

姓名：?jiǎn)毯Ｑ?性別：男職稱：講師
學(xué)院：信息科學(xué)與技術(shù)學(xué)院 最后學(xué)歷：博士

1986年畢業(yè)于南開大學(xué)數(shù)學(xué)系，獲碩士學(xué)位。1986年參加工作，曾先后在山西大學(xué)計(jì)算機(jī)系和太原師院計(jì)算機(jī)系任教。自1996年底開始，曾在瑞典Chalmers 理工大學(xué)計(jì)算機(jī)系作訪問研究一年；在英國Glasgow 大學(xué)計(jì)算機(jī)系學(xué)習(xí)一年，獲碩士；隨后在瑞典Chalmers 理工大學(xué)計(jì)算機(jī)系學(xué)習(xí)、做研究，獲博士。自2004年10月開始在中山大學(xué)計(jì)算機(jī)系任教。
教學(xué)：

1 《數(shù)據(jù)結(jié)構(gòu)》
2 《集合論與圖論》
3 《函數(shù)程序設(shè)計(jì)與程序驗(yàn)證》
4 《Haskell函數(shù)程序設(shè)計(jì)》

科研興趣：

1. 類型論及其在計(jì)算機(jī)科學(xué)中的應(yīng)用，特別是將類型論應(yīng)用于形式化數(shù)學(xué)，程序驗(yàn)證，計(jì)算機(jī)安全協(xié)議驗(yàn)證以及自然語言處理等。

2. 函數(shù)程序設(shè)計(jì)，函數(shù)程序的測(cè)試與證明。

研究生報(bào)考咨詢1V1指導(dǎo)（點(diǎn)擊咨詢）

免責(zé)聲明

本文章來源為院校研究生官網(wǎng)，如對(duì)稿件內(nèi)容有疑問，請(qǐng)與院校招生辦聯(lián)系。培訓(xùn)啦轉(zhuǎn)載出于非商業(yè)性的教育和科研之目的，不代表贊同其觀點(diǎn)或證實(shí)其內(nèi)容的真實(shí)性。如轉(zhuǎn)載稿涉及版權(quán)等問題，請(qǐng)來函136311265@qq.com聯(lián)系修改或刪除。