|
陆汝钤(1935-- ) 留学民主德国。江苏苏州人。
1950年代中期留学德意志民主共和国，1959年毕业于耶拿大学数学系，同年回国。
1983年起任中国科学院数学所研究员、博士生导师。近年主要研究人工智能和知识工程，是“七五”攻关项目“专家系统开发环境”和863工程项目“分布式知识库管理系统”的负责人。所领导的研究组在1978年获全国科学大会先进集体奖，负责总的系列软件计划获1981年中国科学院重大成果一等奖。发表论文40多篇。
著有《非对称可递减的调和函数》、《系列软件和系统汇编语言》(合作)、《Horn集的消解定理》、《广义优先文法》、《具有动态结构的程序的代数语义》等。 |
