院士专家
  

 

 

  董韫美院士,我国计算机软件先驱者之一,在软件实际、技巧、对象和汉字信息处理等多个范畴做出了体系的、创造性的任务。上世纪六十年代初至中期,掌管研制的国际最早的实用高等法式榜样说话BCY, 曾在实际中经久应用并发挥了严重年夜感化。曾先于国际上的一些有名任务,在情势文法、语法检查和法式榜样测试等方面处理了雷同的成绩。八十年代初起首提出用计算机设计高质量汉字字形的办法及完成技巧。八十年代中期以来率先在国际展开软件复用技巧研究。今朝从事软件规约与软件设计办法研究。

 

 

  周巢尘院士,我国分布式法式榜样设计实际研究的先驱者和开辟者之一,近年提出的时段演算,为及时体系的情势化设计和验证做出了开创性的任务,取得国际同业的公认,曾经带动了国际上二十几个国度的迷信家参与这一方面的研究。1997年8月至2002年9月间任结合国大年夜学国际软件技巧研究所所长。

 

 

  林惠平易近院士,经久从事并发实际及情势化办法的研究。他设计并完成了世界上第一个通用的过程代数验证对象;与国际同业协作提出、并自力生长了传值并发过程的“符号互模仿”实际;处理了π-演算和时间自动机的有穷公理化成绩。这些成果已为国际际同业在地下辟表的文献中所广泛援用。

 

 

  

 

 

 

  胡世华院士(1912-1998)我国数学的分支——数理逻辑的奠定人、计算机迷信的开辟者。在数理逻辑、基本数学和计算机迷信等范畴展开了多方面深刻的研究任务,取得了多项富于开创性的迷信成果,建立了多项迷信概念、实际和定理:建立了一些多值逻辑体系;创建了字上递归函数论;提出了构造简单功能很强的核函数概念,并应用于字上递归函数的范式;提出了法式榜样(算法)说话的描述办法和“本相文法”概念和实际;发表了高程度的论文四十余篇,有的成果被国外同业写进书中或在文章中援用;与他人的合著《数理逻辑基本》高低册,于1988年被评为国度教委高等黉舍优良教材。

 

 

  唐稚松院士(1925-2008)计算机迷信与软件工程专家。60年代中从事自动机实际研究,证明计算机转移敕令的很多构造性性质,如转移敕令可用轮回代替,它比Bohm-Jacopi定理早一年。70年代中从事构造法式榜样设计与构造化说话的研究,推动了国际这方面任务的展开。80年代初开端从事时序逻辑说话XYZ/E及以它为基本的软件工程对象与情况体系XYZ体系的研究,将时序逻辑实际与软件工程技巧无机结合起来,以进步软件开辟主动化的程度,从而进步其临盆率。个中时序逻辑说话XYZ/E是世界上第一个可履行的时序逻辑说话。