<div class> <p> <img alt src style/></p> <p> ►个人简介</strong><br/> 钟秀琴,副教授<br/> <br/> ►联系方式</strong><br/> 电话:028-61831670<br/> 邮箱:zhongxiuqin@uestc.edu.cn<br/> <br/> ►教育经历</strong><br/> 2003.09-2008.07中国科学院研究生院计算机软件与理论专业硕博连读工学博士<br/> 1996.09-2000.07西安电子科技大学应用数学专业本科理学学士<br/> <br/> ►工作经历</strong><br/> 2013.08-至今,电子科技大学,计算机科学与工程学院,副教授<br/> 2014.08-2015.08,瑞士弗里堡大学,访问学者<br/> 2008.09-2013.07,电子科技大学,计算机科学与工程学院,讲师<br/> 2000.07-2008.09,中国科学院成都分院,中科院成都计算机应用研究所,工程师<br/> <br/> ►研究方向</strong><br/> 1.人工智能及其应用<br/> 主要包括自动推理、领域本体、知识库、认知模型等<br/> 2.机器证明<br/> 主要包括自动推理、符号计算、定理机器证明、数学机械化等<br/> <br/> ►研究项目</strong><br/> [1]“基于本体的认知推理模型及其应用研究”,国家自然科学基金(2013.01-2015.12),(项目经费24万),主持;<br/> [2]“初等数学问题求解关键技术及系统”,国家863项目(2015.01-2017.12),(项目经费659万),排名第三;<br/> [3]“基于科学知识图谱分析的个性化文献推送系统”,四川省科技厅基金(2012.01-2014.12),(项目经费30万)主研;<br/> [4]“融合规则推理与本体推理的知识推理及其应用”,中央高校基金(2010.01-2011.12),主持;<br/> [5]“基于本体的几何定理机器证明”,自然科学基金(2011.01-2013.12),(项目经费32万),主研;<br/> [6]“装备多信道存储转换器”,(项目经费51万),主持;<br/> [7]“基于智能电网的新型继电保护测试仪研制”,(项目经费100万),第二主持。<br/> </p> </div>