人才队伍

院士专家

  董韫美院士,我国计算机软件先驱者之一,在软件理论、技术、工具和汉字信息处理等多个领域做出了系统的、创造性的贡献。1936年3月生于云南昆明,1956年毕业于吉林大学,同年进入中国科学院计算技术研究所工作。1983年起为研究员,1984年任博士生导师,1985年起到软件所工作。1990年被授予“中国科学院优秀研究生导师”称号。已培养硕士、博士研究生20多人。1993年当选为中国科学院院士。曾获中国科学院科技进步奖一等奖和国家科技进步奖二等奖,发表论文30余篇。上世纪六十年代初至中期,主持研制出了国内最早的实用高级程序语言BCY,并在119机、109机、015机等机器上实现了相应的编译程序及其他系统软件。其后的工作包括形式语言理论、编译技术和软件工具。 1978-1980年,首先提出用计算机设计高质量汉字字形的参量图形学方法,解决了有关的实现技术,建立了实验系统,后又发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。在形式规约知识的获取与复用研究中,提出通过机器学习获取规约的MLIRF方法和有关的实现技术,提出上下文无关语言上的递归函数理论。目前从事软件规约与软件设计方法研究。
E-Mail:lhm(at)ios.ac.cn

  周巢尘院士,我国计算机软件先驱者之一,在软件理论、技术、工具和汉字信息处理等多个领域做出了系统的、创造性的贡献。1936年3月生于云南昆明,1956年毕业于吉林大学,同年进入中国科学院计算技术研究所工作。1983年起为研究员,1984年任博士生导师,1985年起到软件所工作。1990年被授予“中国科学院优秀研究生导师”称号。已培养硕士、博士研究生20多人。1993年当选为中国科学院院士。曾获中国科学院科技进步奖一等奖和国家科技进步奖二等奖,发表论文30余篇。上世纪六十年代初至中期,主持研制出了国内最早的实用高级程序语言BCY,并在119机、109机、015机等机器上实现了相应的编译程序及其他系统软件。其后的工作包括形式语言理论、编译技术和软件工具。 1978-1980年,首先提出用计算机设计高质量汉字字形的参量图形学方法,解决了有关的实现技术,建立了实验系统,后又发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。在形式规约知识的获取与复用研究中,提出通过机器学习获取规约的MLIRF方法和有关的实现技术,提出上下文无关语言上的递归函数理论。目前从事软件规约与软件设计方法研究。
E-Mail:lhm(at)ios.ac.cn
  林惠民院士,1947年11月生于福建省福州市,研究员,博士生导师。1986年在中国科学院软件研究所获博士学位;曾先后在英国爱丁堡大学和萨塞克斯大学工作。1999年被评为“国家级有突出贡献的中青年专家”,同年11月当选为中国科学院院士。主要研究方向包括:通迅并发系统的理论、工具及应用、模型检测、代数规约、程序模块化理论。
他长期从事并发理论及形式化方法的研究。他设计并实现的交互式证明系统PAM是世界上第一个通用的进程代数验证工具。与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论;解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内外同行在公开发表的文献中所广泛引用,推动了这些领域的发展。他的工作获得1996年度中国科学院自然科学奖一等奖和1999年度国家自然科学奖二等奖。
E-Mail:lhm(at)ios.ac.cn
       胡世华院士(1912-1998),我国数学的分支——数理逻辑的奠基人、计算机科学的开拓者。在数理逻辑、基础数学和计算机科学等领域开展了多方面深入的研究工作,取得了多项富于开创性的科学成果,建立了多项科学概念、理论和定理:建立了一些多值逻辑系统;创建了字上递归函数论;提出了构造简单功能很强的核函数概念,并应用于字上递归函数的范式;提出了程序(算法)语言的描述方法和“原形文法”概念和理论;发表了高水平的论文四十余篇,有的结果被国外同行写进书中或在文章中引用;与他人的合著《数理逻辑基础》上下册,于1988年被评为国家教委高等学校优秀教材。

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