周巢尘院士，我国分布式程序设计理论研究的先驱者和开拓者之一，近年提出的时段演算，为实时系统的形式化设计和验证做出了开创性的工作，得到国际同行的公认，已经带动了国际上二十几个国家的科学家参与这一方面的研究。1997年8月至2002年9月间任联合国大学国际软件技术研究所所长。

林惠民院士，长期从事并发理论及形式化方法的研究。他设计并实现了世界上第一个通用的进程代数验证工具；与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论；解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内际同行在公开发表的文献中所广泛引用。

冯登国院士，长期从事网络与信息安全研究工作，在保密通信理论与实践、网络安全认证理论与技术、可信计算技术与应用等方面作出了突出贡献。他创建了复杂环境下关键资源安全可信动态调度与可靠重构理论，解决了保密通信中的若干关键技术难题；提出输入长度可变加密模式设计、条件掩码分析等理论与方法，主持发明了我国首个成为国际主流标准的祖冲之算法；提出高安全等级PKI构建理论与方法，主持研制出具有入侵容忍功能的PKI并得到重要应用。曾获国家科技进步一等奖、国家技术发明二等奖等多项奖励和荣誉。

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

唐稚松院士(1925-2008)，计算机科学与软件工程专家。60年代中从事自动机理论研究，证明计算机转移命令的许多结构性性质，如转移命令可用循环代替，它比Bohm－Jacopi定理早一年。70年代中从事结构程序设计与结构化语言的研究，推动了国内这方面工作的开展。80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究，将时序逻辑理论与软件工程技术有机结合起来，以提高软件开发自动化的水平，从而提高其生产率。其中时序逻辑语言XYZ／E是世界上第一个可执行的时序逻辑语言。