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

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

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

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

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