当前位置: 主页 > 导师简介 >

导师简介

秦小林

时间:2018-03-05 11:29   来源:未知

 研究方向介绍:

   误差可控计算: 针对单纯采用符号计算或数值计算的困难问题,发展符号与数值计算的混合算法,重点研究:数值近似计算与准确结果之间的关系,以解决用近似结果获得准确值的理论、方法,发展误差可控的符号数值混合算法与零误差的高效混合算法;混成系统高可信计算;并应用相关算法解决实际工程中安全攸关系统高可信计算问题等。

  大数据智能分析:重点研究基于计算机数学方法的大数据获取、分析、建模及其在实际工程中的应用。

  集群智能:重点研究大规模多旋翼/固定翼无人机协同控制问题,特别是逻辑符号验证、动态航迹规划及其应用。

教育经历:

 2011年7月,获中国科学院研究生院博士学位。

工作经历:

    2017年11月 - 今            成都计算机应用研究所 自动推理实验室,研究员,副主任,博士生导师

    2014年 5月  - 2015年6月    瑞典Linkoeping University,                   博士后研究员

    2013年11月 - 2017年10月   成都计算机应用研究所 自动推理实验室,副研究员,副主任(2017.9),硕士生导师

   2011年 7月  - 2013年10月   成都计算机应用研究所 自动推理实验室,助理研究员

研究及获奖情况:

    主持国家自然科学基金项目1项,省部级科研项目4项,横向课题3项;参与军委科技委重大专项、特区课题,国家973项目、国家自然科学基金项目(重点项目)、中国科学院知识创新工程项目、中国科学院西部之光项目等10余项。在国内外重要期刊、会议发表论文40多篇(其中SCI/EI检索30余篇),合作者包括中国、加拿大、瑞典、德国、美国等著名教授,申请国家发明专利4项,获国家软件著作权1项。 

   2011年获中国科学院院长优秀奖,2011年入选中国科学院“西部之光”人才培养计划,2012年入选中国科学院“青年创新促进会”会员,2016年获四川省海外高层次留学人才。担任成都市科青联副主席(信息科学专委会副主任)、中国电子学会生物计算与生物信息处理专业委员会副理事长、中国数学会计算机数学专业委员会委员;国家科技专家库、国家自然科学基金、四川省科技计划项目、四川省科技奖励、河北省科技奖励、成都市科技项目等评议评估专家;国际期刊IJRAE、AISS、IJIIP、BEI-ESP等编委,国际会议AIAR2015 、CiSE2015-2017、CET2015、ICIVC2018、ICAIBD2018、IVPAI2018等程序委员会委员,国际期刊JSSC(SCI)、IJDSDE(EI)、JPCS(EI)、SJMR、智能系统学报、计算机应用、计算机工程与应用、计算机辅助工程、上海海事大学学报等审稿人。

联系方式:Email: qinxl2001@126.com