PDF《组织结构 1》

目录 组织结构

1 研究室工作

6 科研成果与获奖

9 论著和论文

14 科研项目

20 学术交流

21 讨论班

28 实验室人员学术任职

31 封二图片新闻:吴文俊院士荣获

2006 年 劭逸夫数学科学奖 中国科学院数学机械化重点实验室

2006 年度报告 -

1 - 组织结构 实验室成员 名誉主任: 吴文俊 主任: 高小山 副主任: 李洪波,吴新文 成员: 吴文俊,万哲先,李邦河,高小山,石赫,李洪波,吴新文,刘木兰 刘卓军,王世坤,吴可,李子明,王定康,支丽红,马玉杰,闫振亚 韩阳,邓映蒲,冯如勇 秘书: 周代珍,王莎莎 实验室网站: http://www.

mmrc.iss.ac.cn

电话: 010-62541834 传真: 010-62630706 实验室学术委员会 主任: 万哲先 副主任: 石赫 委员: 吴文俊,张景中,李邦河,陆汝钤,林惠民,杨路,刘木兰,吴可 冯克勤,张继平,陈永川,李克正,高小山 实验室相关机构 数学机械化研究中心 主任: 李洪波 副主任: 李子明,支丽红 信息安全研究中心 主任: 刘木兰 副主任: 吴新文 中国科学院数学机械化重点实验室

2006 年度报告 -

2 - 实验室成员简表 序号 姓名专业 研究方向 职称

1 吴文俊 数学 数学机械化 院士

2 万哲先 数学 代数、编码、有限几何 院士

3 李邦河 数学 拓扑,代数几何 院士

4 高小山 计算机科学 自动推理、符号计算 研究员

5 李洪波 应用数学 自动推理、几何代数 研究员

6 石赫数学 数学机械化 研究员

7 刘卓军 计算机科学 符号运算、信息安全 研究员

8 刘木兰 数学 密码理论、计算代数 研究员

9 王世坤 数学 应用数学、微分方程 研究员

10 吴可理论物理 理论物理 研究员

11 李子明 数学 符号计算、微分方程 研究员

12 吴新文 数学 信息安全、编码 副研究员

13 王定康 基础数学 数学机械化、软件开发 副研究员

14 支丽红 计算机代数 符号计算、混合计算 副研究员

15 韩阳数学 代数表示 副研究员

16 马玉杰 基础数学 代数几何 助理研究员

17 闫振亚 计算数学 微分方程 助理研究员

18 冯如勇 数学 符号计算 助理研究员

19 邓映蒲 数学 信息安全 助理研究员 中国科学院数学机械化重点实验室

2006 年度报告 -

3 - 实验室博士后与研究生 博士后:申立勇 博士生: 袁春明、谢端强、周城雄、沈亚良、柴凤娟、王灯山、谢正、王培宏、黄雷、熊涛 张贵林、张艳硕、李家、刘姜、吴晓丽、王怀富、张振华、冷福生、沈跃峰 硕士生: 孙瑶、黄震宇、曹源昊、周升田、陈绍示、李斌、李博、张艳娟、潘彦斌 张梅、孙东霞、赵尚威、孙瑞勇、羊正正 毕业及授予学位情况 出站博士后:吕卓生 毕业博士: 杨争峰、郑大彬、程进

三、张明波、李冰玉、徐荣华、张宁、郭丽峰 曹正军、张志芳 毕业硕士: 李广伟、张帅、熊涛、龙红亮、林隆、秦龙、周凯 中国科学院数学机械化重点实验室

2006 年度报告 -

4 - 实验室工作

一、实验室学术委员会年会 中国科学院数学机械化重点实验室第一届学术委员会第三次会议于

2006 年5月16 日在中科院数学与系统科学研究院召开.实验室学术委员会

11 位成员参加了会议.中 科院基础局数力天处王永祥副处长、中科院综合计划局科研基地处周鼐博士应邀参加了 会议. 会议由学术委员会主任万哲先院士主持.实验室主任高小山研究员汇报了实验室