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