講 者：徐家福教授
講 題：淺談幾個基本問題 (科學、技術、工程、語言、言語、智能、集成以及安全)
時 間：2013年12月03日 星期三 13:20~15:20
地 點：交通大學工程四館202教室
主持人: 王國禎
講者資訊如下：
徐家福（1925年11月18日－），中國計算機軟體學先驅，中國計算機科學奠基人之一。
1948年 畢業於國立中央大學（1949年更名為南京大學，1957年至1959年去蘇聯莫斯科大學進修，1981年起任南京大學計算機系教授、博士生導師，培養出中國第一位計算機軟體學博士。現任南京大學計算機軟體新技術國家重點實驗室名譽主任、中國計算機學會副理事長。 主要研究高級語言、新型程序設計與軟體自動化。代表性成果有：
* 研製出中國第一個ALGOL系統、系統程式語言XCY、多種規約語言；
* 參加制定ALGOL [21]、COBOL [22]國家標準；
* 率先在中國研製出數據驅 動計算機模型FPMND；研製出兼顧函數式 [24]和邏輯式風格的核心語言KLND及相應的並行推理系統:
* 完成8個軟體自動化系統，如基於自行設計規約語言GSPEC 的NDAUTO 系統，基於FGSPEC 的演算法設計自動化系統NDADAS 和自學習軟體自化系統NDSAIL等。
* 先後獲中國 [34]國家教委 [35]一等獎四次，電子部一等獎三次，出版著作6部，發表論文150餘篇。