删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

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

成都计算机应用研究所 考研网/2016-01-19


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

  如果发现导师信息存在错误或者偏差,欢迎随时与我们联系,以便进行更新完善。联系方式

相关话题/成都计算机应用研究所