姓名：陆汝钤

    所别：数学研究所

    职称：研究员

    房间号：南楼819

    邮箱：rqluATmath.ac.cn

个人简历

    1935年2月生于上海。

    1959年毕业于德国耶拿大学数学系，获学士学位，同年起进入中国科学院数学研究所工作。

    1978年起任副研究员。

    1983年起任研究员。

    1984年起任博士生导师。

    1987年至1990年任中科院数学研究所副所长。

    1991年至1994年任中科院数学研究所学术委员会主任。

    1999年当选为中科院院士。

    2000年受聘复旦大学，任复旦大学计算机学院教授。

    2002年至2003年任复旦大学智能信息处理开放实验室主任。

    2004年起任复旦大学上海市智能信息处理重点实验室学术委员会主任。

    陆汝钤院士长期从事数学与计算机科学领域的研究，特别是在知识工程和基于知识的软件工程方面作了系统的、创造性的工作，是中国知识工程研究的主要开拓者之一。他把数学中黎曼曲面的思想引进PETRI网论，建立了多层PETRI网模型，为发展中国的数学与理论计算机科学事业作出了突出贡献而享誉国内外数学界。

主要专著

    人工智能（上）                        科学出版社，1988

    计算机语言的形式语义              科学出版社，1992

    人工智能（下）                        科学出版社，1996

    计算系统的形式语义                 科学出版社，2017

获得的主要奖项

    1983年    全国科学大会先进集体奖

    1983年    中国科学院重大成果一等奖

    1992年    中科院科技进步一等奖

    1993年    国家科技进步二等奖

    2003年    华罗庚数学奖

    2014年    CCF终身成就奖

负责的主要项目

    曾主持国家攻关项目“智能软件工具的概念模型研究”，1996年-1997年，（96-729-01-06-09）

    曾主持国家攻关项目“智能软件工具的概念模型研究”，1996年-1997年，（96-729-01-06-09）

    曾主持国家自然科学基金重点项目“常识性知识的实用研究”，1998年-2001年，（69733020）