院士專家
  

 

 

   董韞美院士,我國計算機軟件先驅者之一,在軟件理論、技術、工具和漢字信息處理等多個領域做出了系統的、創造性的工作。上世紀六十年代初至中期,主持研制的國內最早的實用高級程序語言BCY, 曾在實際中長期應用并發揮了重大作用。曾先于國際上的一些著名工作,在形式文法、語法檢查和程序測試等方面解決了相同的問題。八十年代初首先提出用計算機設計高質量漢字字形的方法及實現技術。八十年代中期以來率先在國內開展軟件復用技術研究。目前從事軟件規約與軟件設計方法研究。

 

 

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

 

 

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

 

 

   馮登國院士,長期從事網絡與信息安全研究工作,在保密通信理論與實踐、網絡安全認證理論與技術、可信計算技術與應用等方面作出了突出貢獻。他創建了復雜環境下關鍵資源安全可信動態調度與可靠重構理論,解決了保密通信中的若干關鍵技術難題;提出輸入長度可變加密模式設計、條件掩碼分析等理論與方法,主持發明了我國首個成為國際主流標準的祖沖之算法;提出高安全等級PKI構建理論與方法,主持研制出具有入侵容忍功能的PKI并得到重要應用。曾獲國家科技進步一等獎、國家技術發明二等獎等多項獎勵和榮譽。

 

 

  

 

 

 

  胡世華院士(1912-1998),我國數學的分支——數理邏輯的奠基人、計算機科學的開拓者。在數理邏輯、基礎數學和計算機科學等領域開展了多方面深入的研究工作,取得了多項富于開創性的科學成果,建立了多項科學概念、理論和定理:建立了一些多值邏輯系統;創建了字上遞歸函數論;提出了構造簡單功能很強的核函數概念,并應用于字上遞歸函數的范式;提出了程序(算法)語言的描述方法和“原形文法”概念和理論;發表了高水平的論文四十余篇,有的結果被國外同行寫進書中或在文章中引用;與他人的合著《數理邏輯基礎》上下冊,于1988年被評為國家教委高等學校優秀教材。

 

 

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

 

斗牛牛游戏下载 全国股票微信群二维码平台 股票微操盘软件开发 中国铁建股票行情走 股票涨还是跌 股票*涨停 京东方a股票今日行 股票投资 在线股票行情 股票资金怎么分配? 股票投资交流微信群