陆汝钤

陆汝钤 1935年生于上海市，1959年毕业于德国耶拿大学数学系，后到中国科学院数学研究所工作。1999年当选为中国科学院院士。2000年起加盟复旦大学。 现为研究员、博士生导师。曾任中科院数学研究所副所长、学术委员会主任。

陆汝钤在知识工程和基于知识的软件工程方面，作了系统的、创造性的工作，是我国该领域研究的开拓者之一。倡导、主持并完成以软件的机械化生成和移植为目标的系列软件计划（XR计划），推动早期国产机缺乏软件问题的解决，获全国科学大会先进集体奖和中科院1983年重大成果一等奖。

主持研制知识工程语言TUILI以及大型专家系统开发环境《天马》，其中《天马》已应用于国防和经济的20多个领域，取得重要的经济和社会效益，获1992年中科院科技进步一等奖，1993年国家科技进步二等奖。

为了解决知识工程中的瓶颈问题，他研究出基于类自然语言理解的一套知识自动获取技术，可应用于基于知识的应用软件自动生成，特别是专家系统、ICAI系统和MIS系统的自动生成。该方法有利于把ICAI生成技术从手工编制（第一代），用写作软件编制（第二代），向基于知识自动获取的自动生成（第三代）推进。

之后，陆汝钤进一步把类自然语言理解与软件工程中的领域分析、领域建模结合起来，促进管理软件开发的自动化，并使企业管理人员能够直接介入软件的开发和维护。1994年英国AI WATCH杂志，用整整一页篇幅发表评论指出，这是他们所见到的“以领域知识库支持主流软件开发的第一例”，“很有可能发展为可实用的工业工具”，并就此提出：“看来是欧洲的人工智能/软件工业界与中国的人工智能界建立联系的时候了”。

陆汝钤研究并主持实现一套全过程计算机辅助动画生成技术，其特点是从受限自然语言理解开始，把中文童话故事自动转换成动画片，使计算机模拟脚本改编，电影导演和摄影师的功能，在艺术创造领域内发展人工智能技术。
在形式语义学研究方面，陆汝钤把原来只能描述静态控制结构的代数语义，推广到能描述动态控制结构,使代数语义具备描述完整程序控制结构的能力，从而真正体现“对代数语义来说，程序即抽象数据类型”这一论题。陆汝钤还把数学中黎曼曲面的思想引进PETRI网论，建立了多层PETRI网模型—— P/R网,并应用P/R网给出了CCS的完全真并发语义，彻底解决了其特有的（在双模拟意义下的）语义等价问题。