南京大学
孙钟秀
南京大学计算机系教授、博士生导师、中科院院士。计算机软件新技术国家重点实验室学术委员会主任,1986年被授予“国家级有突出贡献的中青年专家”称号。主持研制了我国国产系列计算机DJS200、DJS200/XT1G、DJS200/XT1P等操作系统。1982年10月在国内率先研制成功ZCZ分布式微型计算机系统,后又主持研制了多个实用的分布式计算机系统和分布式系统软件;设计和实现了异构型分布式操作系统ZGL;提出了一种分布式同步算法:令牌算法等。
主要研究方向:分布计算和操作系统
徐家福
南京大学计算机系教授、博士生导师,现任中国计算机学会副理事长。代表性成果有:1.研制出我国第一个ALGOL系统、系统程序设计语言XCY、多种规约语言;2.参加制定ALGOL、COBOL国家标准;3.率先在我国研制出数据驱动计算机模型FPMND;研制出兼顾函数式和逻辑式风格的核心语言KLND及相应的并行推理系统;4.完成8个软件自动化系统,如基于自行设计规约语言GSPEC的NDAUTO系统,基于FGSPEC的算法设计自动化系统NDADAS和自学习软件自化系统NDSAIL等。
主要研究方向:高级语言、新型程序设计与软件自动化
国防科技大学
陈火旺
国防科技大学教授、博士生导师、中国工程院院士,数理逻辑学家、计算机专家。20世纪70年代初主持全国Fortran编译程序会战,设计成功我国第一个Fortran编译系统。1979~1983年任银河-I巨型计算机软件总负责人,“银河-Ⅰ”获1984年中央军委国防科技成果特等奖。1987年起主持面向对象集成化开发环境研制,建造了国内首例面向对象环境;1989年起领导并主持非单调推理系统研究,把PROLOG从单调发展到非单调。这两项目分别获1991年、1993年国防科工委科技进步奖一等奖。领导完成的英汉机器翻译系统,达到国际先进水平。
主要研究方向:计算机软件和人工智能等方面
卢锡城
国防科技大学教授、副校长,中国工程院院士、计算机系统结构和计算机网络专家、并行与分布处理国防科技重点实验室主任。主持研制成功银河-Ⅲ并行巨型机系统,70年代参加了“远望一号”测量船中心计算机研制,设计了交换器系统;80年代参加了银河-II研制,主持研制了高速网络软件系统;负责研制了银河仿真机系统软件;2001年主持研制成功国家863重大项目——中国高速信息示范网核心路由器;承担了多项国家自然科学基金、863计划等国家科研项目。目前正担任“虚拟计算环境聚合与协同机理研究”国家973项目首席科学家,负责该项目研究。
主要研究方向:计算机网络、大规模分布与并行处理









