院士專家
  

 

 

  董韫美院士,我国计算机软件先驱者之一,在软件理论、技术、工具和汉字信息处理等多个领域做出了系统的、创造性的工作。上世纪六十年代初至中期,主持研制的国内最早的实用高级程序语言BCY, 曾在实际中长期应用并发挥了重大作用。曾先于国际上的一些著名工作,在形式文法、语法检查和程序测试等方面解决了相同的问题。八十年代初首先提出用计算机设计高质量汉字字形的方法及实现技术。八十年代中期以来率先在国内开展软件复用技术研究。目前从事软件规约与软件设计方法研究。

 

 

  周巢塵院士,我國分布式程序設計理論研究的先驅者和開拓者之一,近年提出的時段演算,爲實時系統的形式化設計和驗證做出了開創性的工作,得到國際同行的公認,已經帶動了國際上二十幾個國家的科學家參與這一方面的研究。1997年8月至2002年9月間任聯合國大學國際軟件技術研究所所長。

 

 

  林惠民院士,長期從事並發理論及形式化方法的研究。他設計並實現了世界上第一個通用的進程代數驗證工具;與國際同行合作提出、並獨立發展了傳值並發進程的“符號互模擬”理論;解決了π-演算和時間自動機的有窮公理化問題。這些成果已爲國內際同行在公開發表的文獻中所廣泛引用。

 

 

  

 

 

 

  胡世華院士(1912-1998)我国数学的分支——数理逻辑的奠基人、计算机科学的开拓者。在数理逻辑、基础数学和计算机科学等领域开展了多方面深入的研究工作,取得了多项富于开创性的科学成果,建立了多项科学概念、理论和定理:建立了一些多值逻辑系统;创建了字上递归函数论;提出了构造简单功能很强的核函数概念,并应用于字上递归函数的范式;提出了程序(算法)语言的描述方法和“原形文法”概念和理论;发表了高水平的論文四十余篇,有的结果被国外同行写进书中或在文章中引用;与他人的合著《数理逻辑基础》上下册,于1988年被评为国家教委高等学校优秀教材。

 

 

  唐稚松院士(1925-2008)計算機科學與軟件工程專家。60年代中從事自動機理論研究,證明計算機轉移命令的許多結構性性質,如轉移命令可用循環代替,它比Bohm-Jacopi定理早一年。70年代中從事結構程序設計與結構化語言的研究,推動了國內這方面工作的開展。80年代初開始從事時序邏輯語言XYZ/E及以它爲基礎的軟件工程工具與環境系統XYZ系統的研究,將時序邏輯理論與軟件工程技術有機結合起來,以提高軟件開發自動化的水平,從而提高其生産率。其中時序邏輯語言XYZ/E是世界上第一個可執行的時序邏輯語言。