社  会  活  动

• 社会兼职

• 1978年12月-1983年2月，第五届全国政治协商会议常委
• 1979年10月-1984年2月，中科院系统所副所长
• 1983年 3月-1988年2月，第六届全国政治协商会议常委
• 1984年2月起           中科院系统所名誉所长
• 1984年-1987年         中国数学会理事长
• 1988年 3月-1993年2月，第七届全国政治协商会议常委
• 1990年 8月-1999年5月，中科院系统所数学机械化研究中心主任
• 1992年 4月-1996年4月，中国科学院数理学部主任
• 1993年 3月-1998年2月，第八届全国政治协商会议常委
• 1996年                任天元基金领导小组组长(接替原组长程民德教授)

　

• 重大项目兼职

• 1948年开始参加CNRS研究工作 初任Attaché de recherches, 1951年升为Changé de Recherches
• 国家科委攀登项目“机器证明及其应用”，任项目专家委员会首席科学家（1992年）
• 国家科委攀登项目“数学机械化及其应用”，任专家委员会首席科学家（1996年）
• 国家重点基础研究规划项目“数学机械化与自动推理平台”。 专家委员会的首席科学家改由高小山担任,吴文俊退为专家委员会的学术指导，属顾问性质（1999年）
　

RETURN  HOME