您當前位置: 首頁  >  新聞中心  >  伟德新聞  >  正文

伟德新聞

計算機科學技術名家講座

發布日期:2013-06-02 發布人: 點擊量:

    講座題目:淺談幾個基本問題
    報 告 人:徐家福先生
    我國計算機軟件學的奠基人、南京大學資深教授、博士生導師,計算機軟件新技術國家重點實驗室名譽主任
    講座時間: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餘篇。

Baidu
sogou