固定成员
 姓  名 研 究 方 向 职  称
吴文俊 数学机械化 院 士
万哲先 代数、编码、有限几何 院 士
李邦河 拓扑、代数几何 院 士
高小山 自动推理、符号计算 研究员
李洪波 自动推理、几何代数 研究员
刘卓军 计算代数、信息安全 研究员
李子明 符号计算、微分方程 研究员
胡 磊 密码学 研究员
支丽红 符号计算、混合计算 研究员
韩 阳 代数表示 研究员
王定康 自动推理 研究员
闫振亚 微分方程 研究员
邓映蒲 信息安全 研究员
冯如勇 符号计算 副研究员
张志芳 信息安全 副研究员
袁春明 符号计算 副研究员
程进三 符号计算 副研究员
贾晓红 计算几何 副研究员
冯秀涛 信息安全 副研究员
周 凯 代数、编码 副研究员
冷福生 代数数论 助理研究员
黄雷 自动推理 助理研究员
潘彦斌 信息安全 助理研究员
张立先 数控技术 助理研究员
李博 生物数学,生物信息学 助理研究员
陈绍示 符号计算 助理研究员
李伟 微分代数几何 助理研究员
吴天骄 数学机械化 工程师
周代珍   秘 书
李 佳   学术秘书
特聘人员
孙笑涛 代数几何 研究员
离退休人员
石 赫 数学机械化 研究员
刘木兰 信息安全 研究员
王世坤 应用数学、微分方程 研究员

 

兼职成员
 姓  名 研 究 方 向 职  称
周咸青 数学机械化 研究员
王东明 数学机械化 研究员
邢朝平 编码理论 研究员
李树荣 数学机械化 研究员
杨争峰 计算机程序验证 研究员

 

访问学者
姓 名 单 位 访问时间
Deok-Soo Kim Hanyang University 2014.9
张举勇 中国科学技术大学 2014.9
Hidetsune Kobayashi Nihon University,Japan 2014.9
Richard Peter Stanley MIT, USA 2014.8
Jing-Ping Wang University of Kent, UK 2014.8
Bernd Sturmfels University of California, Berkeley, USA 2014.8
Xuefeng Liu Waseda University, Japan 2014.8
Feng Baofeng University of Texas-Pan,USA 2014.7
Erich Kaltofen North Carolina State University, USA 2014.7
Christoph Koutschan RICAM, Austrian Academy of Sciences,Austria 2014.7
Manuel Kauers RISC-Linz,Austria 2014.7
Thomas W. Sederberg Brigham Young University, USA 2014.6
Allan D. Spence McMaster University, Canada 2014.6
Erhan Budak Sabanci University, Turkey 2014.4
Stephen Watt University of Western Ontario, Canada 2014.2
Marc Moreno Maza University of Western Ontario, Canada 2014.1
Markus Püschel ETH Zürich,Switzerland 2013.11
Xianfeng Gu State University of New York Stony Brook,USA 2013.11
Sylvain LAVERNHE ENS Cachan – LURPA, France 2013.10
Corrado Guarino Lo Bianco University of Parma, Italy 2013.10
Allan D. Spence McMaster University, Canada 2013.10
Hsi-Yung (Steve) Feng University of British Columbia,Canada 2013.10
Tien-Yien LI University of Maryland,USA 2013.9
Hiroshi Sekigawa Tokai University, Japan 2013.7
Mohab Safey El Din Univ Paris 6, France 2013.6
Deepak Kapur University of New Mexico, USA 2013.5-8
Erich Kaltofen North Carolina State University, USA 2013.5
Jerome W. Hoffman Louisiana State University, USA 2013.4-6
Stephen Watt University of Western Ontario, Canada 2013.3
谢福鼎 辽宁师范大学 2013.1
张明波 中国科学技术大学 2012.12
Wen-shin Lee University of Antwerp, Belgium 2012.11
Joris Van der Hoeven Centre National de Recherche Scientifique(CNRS), 法国 2012.10
Maximillian Jaroschek RISC-Linz, Austria 2012.10
Elias Tsigaridas INRIA Paris-Rocquencourt, France 2012.10
Erich Kaltofen North Carolina State University, USA 2012.10
陈光熹 桂林电子科技大学 2012.9
Paul S. Wang Kent State University计算机与数学系 2012.9
刘雪峰 Waseda University, Japan 2012.8
Y. Zhang University of Manitoba, Canada 2012.7
Ron Goldman 美国莱斯大学计算机系 2012.6
Alexander V. Mikhailov University of Leeds 2012.6
Hidetsune Kobayashi 日本大学 2012.6
杨争锋 华东师大软件学院 2012.6
S.H. Gao Clemson University, USA 2012.6
H. Kobayashi Japan 2012.6
D.Kapur New Mexico University, USA 2012.5
Bernard Mourrain INRIA-Sophia, France 2012.5
李树荣 中国石油大学 2012.5-7
Michele Loday Universite d’Angers, France 2012.4
David Blazquez-Sanz Universidad Sergio Arboleda, Columbia 2012.4
Sonia L. Rueda Universidad Politecnica de Madrid, Spain 2012.4
Jing Ping Wang University of Kent, 英国 2012.4
吴晓丽 杭州电子科技大学 2012.3
Prof. Jean-Pierre Jouanolou Université de Strasbourg, France 2012.3
陈绍示 North Carolina State University, USA 2012.3
Hong Qin Department of Computer Science SUNY Stony Brook (Stony Brook University) 2012.1
高志强 Cleveland State University 2012.1
Marc Moreno Maza University of Western Ontario, Canada 2011.11
Erich Kaltofen North Carolina State University,USA 2011.10
Komatsu Hikosaburo Tokyo University of Science Japan 2011.10
Ismail Lazoglu Koc University,Turkey 2011.10
Vladimir P. Gerdt Joint Institute for Nuclear Research Russia 2011.10
Evelyne Hubert INRIA Sophia Antipolis France 2011.10
Erhan Budak Sabanci University, Turkey 2011.10
Sharon Hutton North Carolina State University, USA 2011.9
Hans J. Stetter Technical University Vienna, Austria 2011.6
A. V. Mikhailov University of Leeds,U.K 2011.6
Markus Püschel ETH Zürich,Switzerland 2011.5
Bruno Salvy INRIA Rocquencourt, France 2011.5
杨争锋 华东师大软件学院 2011.4-5
Stephen Watt University of Western Ontario, Canada 2011.4
Mohab Safey El Din Univ Paris 6, France 2011.4
Hidetsune Kobayashi Nihon University,Japan 2011.3
Jean-Pierre Jouanolou Université de Strasbourg,France 2011.3
Francois Boulier Université des Sciences et Technologies de Lille,France 2011.1
Zhong-gang ZENG Northeastern Illinois University Chicago,USA 2010.11
Scott McCallum Macquarie University,Australia 2010.10
JingPing Wang University of Kent, U.K. 2010.10-11
Graziano Chesi University of Hong Kong 2010.9
Yan-Bin Jia Iowa State University,USA 2010.9
Zhijun Qiao University of Texas Pan,USA 2010.7
Josef Schicho RICAM, Austrian Academy of Sciences, Austria 2010.6
Phong Nguyen INRIA, France 2010.5
Hiroshi Sekigawa Tokai University, Japan 2010.5
Maximilian Jaroschek Research Institute for Symbolic Computation, Austria 2010.3
Wenqin Zhou Univerisity of Western Ontario,Canada 2010.2
Nianjun Liu Alabama University,USA 2010.1
Hong Qin SUNY at Stony Brook 2009.8
Hoon Hong North Carolina State University 2009.8
CHU Wenchang University of Salento Lecce 2009.7
Yang Zhang University of Manitoba,Canada 2009.7
Zhonggang Zeng Northeastern Illinois University Chicago 2009.7
Hans J. Stetter Technical University Vienna, Austria 2009.7
Rida Farouki University of California, Davis 2009.7
Sharon Hutton North Carolina State University USA 2009.6-8
Guangwu Xu University of Wisconsin-Milwaukee, USA 2009.6
Erich Kaltofen North Carolina State University,USA 2009.5
Komatsu Hikosaburo Tokyo University of Science Japan 2009.5
Shang-Ching Chou Wichita State University USA 2009.5
Vladimir P. Gerdt Joint Institute for Nuclear Research Russia 2009.5
Evelyne Hubert INRIA Sophia Antipolis France 2009.5
Francois Boulier Universitédes Sciences et Technologies de Lille France 2009.5
Deepak Kapur University of New Mexico Albuquerque, NM 2009.5
Bruno Buchberger Johannes Kepler University Austria 2009.5
George Labahn University of Waterloo Canada 2009.5
Stephen Watt University of Western Ontario Canada 2009.5
C. Bajaj University of Texas at Austin 2009.3
杨争锋 华东师大软件学院 2008.11
Stephen Watt University of Western Ontario, Canada 2008.4
Hoon Hong North Carolina State University, USA 2008.4
Frabrice Rouillier INRIA, France 2008.4
Moulay Barkatou University of limoges, France 2008.6
Shuhong Gao Clemson University, USA 2008.6
Dingzhu Du University of Texas at Dallas, USA 2008.6
Songyuan Yan Bedford University, UK 2008.6
Jintai Ding University of Cincinnati, USA 2008.6
Haohao Wang Southeast Missouri State University, USA 2008.6
Ling San Nanyang Technological University, Singapore 2008.6
Huaxiong Wang Nanyang Technological University, Singapore 2008.6
Y. Kodama Ohio State University, USA 2008.6
J. William Hoffman Louisiana State University, USA 2008.7
Deepak Kapur University of New Mexico, USA 2008.7
J. C.Leon INP Grenoble, France 2008.10
D. Mecheluchi University Dijon, France 2008.10
Chaoping Xing Nanyang Technological University, Singapore 2008.10
Jiwu Wang Oita University, Japan 2008.11
Erich Kaltofen North Carolina State University, USA 2008.11
Mohab Safey El Din Pierre et Marie Curie University, France 2008.11
Manuel Mantildeas Departamento de Física Terica II,
Universidad Complutense de Madrid
2008.11
谭作文 江西财经大学 08/07
谢福鼎 辽宁师范大学 07/07
李冰玉 东北师范大学 08/07
张明波 中国科技大学 08/07
郑大彬 湖北大学 08/07
吴 敏 华东师范大学 08/07
李玉奇 宁波大学 08/07
李 彪 宁波大学 08/07
靳 平 山西大学 09/30/05-12/30/05
雷 娜 吉林大学 09/01/05-02/28/06
Chionh Eng Wee National Univ. of Singapore 08/01/05-12/31/05
Mark Giesbrecht Univ. of Waterloo, Canada 07/01/05-11/30/05
孟晓辉 北京市计算中心 07/01/05-06/30/06
赵丽娜 北京化工大学 06/01/05-06/01/06
侯春望 中国石油大学(华东) 06/01/05-08/30/05
Wen-Xiu Ma University of SouthFlorida 2007.12
Greg Reid University of Western Ontario, Canada 2007.12
Chu Wenchang Lecce University, Italy 2007.9
Jing Ping Wang University of Kent, U.K. 2007.9
H. Kobayashi Nihon University, Japan 2007.8
Erich Kaltofen North Carolina University, USA 2007.7
Agnes Szanto North Carolina University, USA 2007.6
Philippe B. Trebuchet Univ. Paris 6, France 2007.6
Jean-Charles Faugere Univ. Paris 6, France 2007.6
Ludovic Perret Univ. Paris 6, France 2007.6
Frederic Chyzak INRIA, France 2007.6
Paul S. Wang Kent State University, USA 2007.6
Karl Sigmund University of Viena, Austria 2007.6
Chandrajit Bajaj University of Texas at Qustin, USA 2007.5
Zhijun Qiao University of Texas, Pan, USA 2007.5
Eric Schost University of WesternOntario, Canada 2007.5
Marc Moreno Maza University of WesternOntario, Canada 2007.5
Miles Reid University of Warwick 2007.4
Jintai Ding University of Cincinnati, USA 11/11/06-11/15/06
Eckhard Hitzer Fukui University, Japan 11/01/06-11/05/06
Wenchang Chu Univ. degli Studi di Lecce, Italy 08/31/06-09/07/06
Kuo-Chang Chen Tsinghua Univ. of Taiwan 08/21/06-08/27/06
Akira Suzuki Kobe University 08/20/06-08/27/06
Kobayashi Hidetsune Nihon University 07/30/06-08/25/06
Hoon Hong North Carolina Univ., USA 07/25/06-07/27/06
Markus Schmies 7 Univ.Berlin, Germany 07/24/06-07/30/06
Chionh Eng Wee National Univ. of Singapore 07/17/06-07/23/06
Zhang Yang Brandon Univ., Canada 06/14/06-06/17/06
David Garber Holon Academic Institute of Technology, Israel 05/08/06-05/12/06
Helene Kirchner INRIA, France 03/20/06-03/26/06
Miles Reid Univ. of Warwick, UK 02/17/06-02/23/06
Ciprian Borcea Rider University, USA 12/14/05-12/21/05
Ileana Streinu Smith College, USA 12/14/05-12/21/05
Meera Sitharam CISE Dept., Univ. of Florida, USA 12/14/05-12/21/05
杨重骏 香港科技大学 Oct 05
Guillem Huguet Universidad Publica de Navarra, Spain Oct 05
Jaime Gutierrez Univ. of Cantabria, Spain 08/20/05-08/26/05
Jose Cano Univ. of Valladolid 07/21/05-07/28/05
Evelyne Hubert INRIA, France 07/14/05-07/28/05
Frederic Chyzak INRIA, France 07/13/05-07/29/05
Fritz Schwarz Framhofer-SCAI, Germany 07/13/05-07/28/05
Chee K. Yap Courant Institute, NYU, USA 07/13/05-07/20/05
Sergey Tsarev Kranyarsk Normal Univ., Russia 07/10/05-07/29/05
邹丰美 厦门大学计算机系 07/01/05-07/31/05
Greg Reid West Ontario Univ., Canada Jul 05
George Labahn Waterloo University, Canada Jul 05
Peter Paule RISC, Austria Jul 05
Shang-Ching Chou Wichita State Univ. 06/06/05-06/16/05
Roland Hildebrand CNRS, France 05/15/05-05/22/05
Arnaud Tonnelier INRIA, France 05/15/05-05/22/05
Yan-Bin Jia Iowa State Univ. 05/14/05-05/18/05
Mary White Univ. of Florida, USA 05/12/05-05/22/05
唐再良 四川绵阳师范学院 02/01/05-03/30/05

 

 

电话:+68 10 62541834;  传真:+86 10 62630706
地址:北京中关村中科院系统所  邮编:100190