報告題目：《哥德爾完全性定理與計算機科學》

報告講者：楊東屏教授

時間：3月19日上午10：00-11：30

地點：軟件所5號樓7層會議室

報告人簡介：

楊東屏，原中國科學院軟件所研究員、博士生導師。楊先生長期從事可計算性理論及計算復雜性領域的研究，是第三屆亞洲邏輯會秘書長，第六屆亞洲邏輯會主席，并擔任數理邏輯雜志《Annals of Pure and Applied Logic》的顧問編輯。多年來，楊先生在國內外重要學術期刊上發表了大量論文，多次應邀在國際會議作學術報告，訪問過哈佛、麻省理工、康奈爾、海德堡等多所國際名校。