講座題目:淺談幾個基本問題
報 告 人:徐家福先生
我國計算機軟件學的奠基人、南京大學資深教授、博士生導師,計算機軟件新技術國家重點實驗室名譽主任
講座時間:2013年5月30日下午15:00
講座地點:前衛南校區計算機大樓A521報告廳
主辦單位:伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
符号計算與知識工程教育部重點實驗室
伟德国际BETVlCTOR計算機科學技術研究所
歡迎廣大師生踴躍參加!
徐家福教授簡曆:
徐家福先生是中國計算機科學和計算機軟件學專家,中國計算機軟件學的奠基人。
徐先生是江蘇南京人。1925年1月出生,1948年畢業于中央大學,1957年至1959年去莫斯科大學進修,1981年起任南京大學計算機系教授、博士生導師,培養出第一位計算機軟件學博士。曾任南京大學計算機軟件所所長、計算機軟件新技術國家重點實驗室主任,曾長期擔任國務院學位委員會計算機學科評議組召集人,國務院電子振興領導小組顧問,中國計算機學會副理事長,清華大學、伟德国际BETVlCTOR兼職教授。現任南京大學計算機軟件新技術國家重點實驗室名譽主任。主要研究高級語言、新型程序設計與軟件自動化。代表性成果有:
(1)研制出我國第一個ALGOL系統、系統程序設計語言XCY、多種規約語言;
(2)參加制定ALGOL,COBOL國家标準;
(3)率先在我國研制出數據驅動計算機模型;研制出兼顧函數式和邏輯式風格的核心語言KLND及相應的并行推理系統;
(4) 完成8個軟件自動化系統。
先後獲國家教委一等獎4次,電子部(現信息産業部)一等獎3次,出版著作8部,發表論文150餘篇。