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

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

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