研究方向介绍:
（1）自动推理与空间智能
针对视觉认知面临的看不清、看不全、看不懂等困难问题，发展新一代数据与符号融合驱动的混合模型与算法；重点聚焦神经网络的代数解释、符号计算与神经网络融合、可学习代数视觉理论与算法、大模型道德安全控制等，特别是弱小目标的识别与定位、大规模复杂场景高效重建、融合代数几何与深度学习的全景空间感知与认知、跨域视觉深度估计、大模型增强的智能体导航等典型无人系统场景应用。
（2）行业垂域大模型（大模型）
聚焦行业领域大模型的开发与应用，涵盖面向垂直领域的模型微调与适配、模型压缩与知识蒸馏轻量化方法，以及结合领域知识的检索增强生成技术和外部知识融入技术研发，提升复杂数学与科学问题的求解准确性与推理可信度。重点攻克领域知识准确性保障、模型幻觉抑制和推理效率优化等核心技术挑战，提高模型的可解释性与可控性。深入应用于智慧城市大数据获取与分析建模、智慧医疗的数据安全利用与智能诊疗、智能制造的生产过程优化，以及供应链安全风险预警与协同优化等场景，实现行业垂直大模型在特定场景下的高效、可靠应用，为行业数字化转型提供有力支撑。
教育经历:
2011年7月， 获中国科学院研究生院博士学位。
2014年5月-2015年6月，瑞典Linkoeping University, 博士后研究员。
工作经历:
2017年11月- 今 成都计算机应用研究所 自动推理实验室， 研究员，副主任，主任，副总工程师，博士生导师
2013年11月-2017年10月 成都计算机应用研究所 自动推理实验室， 副研究员，副主任（2017.9），硕士生导师
2011年7月-2013年10月 成都计算机应用研究所 自动推理实验室， 助理研究员
研究及获奖情况:
主持国家自然科学基金、国家重点研发计划课题、中国科学院STS计划、四川省人工智能重大科技专项课题、省部级科研项目、横向课题等20余项；参与国家科技重大专项（科技创新2030）、JW科技委重大专项、创新特区课题、国家973项目、国家自然科学基金（重点项目）、中国科学院知识创新工程、中国科学院西部之光等10余项。在国内外重要期刊会议发表论文100多篇，包括Nature子刊，CCF顶级期刊会议IEEE TIP、ICCV、ECCV等，论文入选ESI高被引，出版著作3本，合作者包括中国、加拿大、瑞典、德国、美国等著名教授，授权国内外发明专利10余件，参与制定IEEE国际标准2项、团体标准多项。
先后入选国家级人才计划项目、四川省科技创新领军人才、四川省学术和技术带头人、四川省优秀青年科技人才专项和杰出青年基金、天府万人计划科技菁英，中国科学院西部青年学者、中国科学院青年创新促进会会员等，成果获省部级科技进步一等奖、四川省科技进步二等奖、中国电子学会自然科学奖、中国科学院院长优秀奖、中国产学研合作创新奖、中国技术市场协会金桥奖等。CCF、CICC、IEEE高级会员，中国青年科技工作者协会常务理事、四川省科技青年联合会秘书长、成都市科青联副主席、中国数学会计算机数学专业委员会委员、四川省计算机学会常务理事、四川省青年联合会常务委员、成都市科学技术协会第九届委员。国家科技进步奖评审专家、科技部、工信部、基金委、教育部和四川省等10余省市科技项目和奖励评议评估专家；CCF会刊《软件导刊》编委、《Scientific Reports》编委等，多个国际会议的大会主席、程序委员会主席、程序委员会委员等。
欢迎有计算机、数学、自动控制、机械制造背景的同学报考。
联系方式：Email: qinxl2001@126.com