个人经历

1961年毕业于复旦大学数学系。一直在中科院数学研究所工作。任研究员、计算机科学研究室主任、知识工程与分布数据处理实验室主任、博士生导师。兼《计算机学报》和《软件学报》常务编委、北京计算机学会副理事长、国家重点工程“科学数据库”顾问、数学所开放学术委员会委员、德国国家计算机科学研究中心(GMD)客座教授。1981年至1983年应邀赴西德进行合作研究。1985年至1987年主持与维也纳的合作研究。在国内外发表论文50余篇，著译书6本，主持参加科研项目多项。分别获国家自然科学二等奖、中科院重大成果一等奖、中科院科技成果二等奖，另有2本著作获科普作品三等奖，获西德洪堡研究奖学金资助。