中科院成都计算机应用研究所导师介绍:陆征一_-查字典考研网
 
请输入您要查询的关键词
  查字典考研网 >> 院校信息 >> 导师介绍 >> 中科院成都计算机应用研究所导师介绍:陆征一

中科院成都计算机应用研究所导师介绍:陆征一

考研时间: 2012-09-30 来源:查字典考研网

姓名:陆征一 性别:男

职称:教授 学院:中科院成都计算机应用研究所

研究方向:从事生物动力系统和计算机辅助证明的研究

汉族, 1983 年四川大学数学系本科毕业, 1986 年中科院系统所硕士研究生毕业, 1994 年日本静冈大学应用数学博士研究生毕业, 1996 年中科院数学所博士后出站, 同年由讲师破格晋升为四川大学数学系教授, 现为四川师范大学数学与软件科学学院教授, 博士生指导教师、中科院成都计算机应用研究所自动推理实验室博士生指导教师.陆征一长期从事生物动力系统和计算机辅助证明的研究, 曾获四川省科技进步三等奖(1997, 排名第一), 浙江省科技进步二等奖(2000 年, 独立完成), 留学回国成就奖(2003). 主持国家自科学基金(2004,2007(天元会议)),为数学机械化973(1998,2004)项目承担人. 得到过奥地利政府奖学金, 日本政府奖学金,奥地利国际应用系统分析研究所邀请, 访问过莫斯科大学数学力学系, 为日本数学会访问教授. 现担任中国数学会理事和中国数学会生物数学学会副理事长.

点击显示
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读

当前热点关注

  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  •