劉卓軍

劉卓軍，男，漢族，1958年3月出生，山東即墨人，1983年12月加入中國共產黨，1984年12月參加工作，研究生學歷，理學博士，研究員，教授、博士生導師。中國科學院數學與系統科學研究院副院長

多年從事符號計算和數學軟體及算法的研究工作，在專業學術刊物和學術會議上發表論文五十餘篇。先後多次參與組織和主持符號計算及計算機數學的國際會議，並經常赴國外訪問講學。目前是國家重大基礎研究973項目“數學機械化與自動推理平台”的專家組成員。劉卓軍研究員還曾擔任NSF資助的中美符號計算合作項目的中方主持人，國家攀登項目“機器證明及其套用”和“數學機械化及其套用”的專家委員會委員。

基本介紹

• 中文名：劉卓軍
• 民族：漢族
• 出生地：山東即墨
• 出生日期：1958年3月

個人簡介

劉卓軍，男，漢族，1958年3月出生，山東即墨人，1983年12月加入中國共產黨，1984年12月參加工作，研究生學歷，理學博士，研究員，教授、博士生導師。中國科學院數學與系統科學研究院副院長

個人履歷

1978.03——1984.12 在吉林大學學習，先後獲學士、碩士學位。

1984.12——1986.02 黑龍江省計算機套用與研究開發中心技術員。

1986.02——1988.06 在中國科學院系統科學研究所學習（導師吳文俊院士），獲理學博士學位。

1988.06——1992.05 中國科學院系統科學研究所助理研究員、副研究員。

1992.05——1995.01 美國肯特州立大學（KentState University）訪問教授。

1995.01——1998.12 中國科學院系統科學研究所研究員、副所長。

1998.12——2004.06 中國科學院數學與系統科學研究院研究員、副院長（其間：2002.01—2002.12 參加中科院研究生院工商管理高級研修班EMBA學習，2002.04—2004.05 掛職北京市中關村科技園區管委會副主任，2004.10—2005.10 掛職安徽省馬鞍市人民政府副市長）。

2004.06——中國科學院數學與系統科學研究院副院長、研究員、博士生導師。

成就及榮譽

多年從事符號計算和數學軟體及算法的研究工作，在專業學術刊物和學術會議上發表論文五十餘篇。先後多次參與組織和主持符號計算及計算機數學的國際會議，並經常赴國外訪問講學。目前是國家重大基礎研究973項目“數學機械化與自動推理平台”的專家組成員。劉卓軍研究員還曾擔任NSF資助的中美符號計算合作項目的中方主持人，國家攀登項目“機器證明及其套用”和“數學機械化及其套用”的專家委員會委員。