|
|
中国工程院院士,数理逻辑学家,计算机专家。
福建省安溪人,1936年2月5日生于闽南山区铁匠家庭。1953年考入复旦大学数学系。1956年加入中国共产党。毕业后留校任教,曾到北京大学数理逻辑专业、英国国家物理所进修。1970年调长沙工学院(今国防科技大学)工作,历任计算机系副教授、教授、博士生导师、系副主任、研究生院副院长。1990年被授予少将军衔。
50年代中期开始投身于中国的计算机领域。70年代初,成为中国计算机历史上第一个Fortran编译系统的设计者、第一台亿次巨型计算机软件总负责人。主持设计的Fortran编译程序,1978年获全国科学大会奖。1984年，获国防科技一等奖并荣立二等功。
80年代以来,先后任计算机研究所副主任、博士生导师,中国软件行业协会副主任、国家863高技术计划信息领域第一届专家委员会委员,研究生院副院长等职。1989年，获国家优秀教学成果特等奖。研制的"面向对象的集成化软件开发环境"课题,1990年12月获国防科技进步一等奖。此后,科研成果又获全国优秀软件二等奖、国防科技进步一等奖。
90年代,又先后任武汉大学软件工程国家重点实验室学术委员会主任,南京大学、北京航天大学、中国科学院软件研究所的计算机科学国家重点实验室学术委员会委员,国家智能中心、东北大学软件工程中心学术委员会委员,国务院学位委员会计算机学科评议组成员。主持完成的"非单调推理系统GKD-NMRS"课题，获得国防科技进步一等奖。1997年12月当选为中国工程院院士。已培养30多名博士、40多名硕士。1999年获何梁何利科学与技术进步奖。
选自《二十世纪湖南人物》
|
