电子科技大学计算机科学与工程学院导师介绍：钟秀琴

　　►个人简介
　　钟秀琴，副教授

　　►联系方式
　　电话：************
　　邮箱：zhongxiuqin@uestc.edu.cn

　　►教育经历
　　2003.09-2008.07中国科学院研究生院计算机软件与理论专业硕博连读工学博士
　　1996.09-2000.07西安电子科技大学应用数学专业本科理学学士

　　►工作经历
　　2013.08-至今，电子科技大学，计算机科学与工程学院，副教授
　　2014.08-2015.08，瑞士弗里堡大学，访问学者
　　2008.09-2013.07，电子科技大学，计算机科学与工程学院，讲师
　　2000.07-2008.09，中国科学院成都分院，中科院成都计算机应用研究所，工程师

　　►研究方向
　　1.人工智能及其应用
　　主要包括自动推理、领域本体、知识库、认知模型等
　　2.机器证明
　　主要包括自动推理、符号计算、定理机器证明、数学机械化等

　　►研究项目
　　[1]“基于本体的认知推理模型及其应用研究”，国家自然科学基金（2013.01-2015.12），(项目经费24万)，主持；
　　[2]“初等数学问题求解关键技术及系统”，国家863项目(2015.01-2017.12),(项目经费659万)，排名第三；
　　[3]“基于科学知识图谱分析的个性化文献推送系统”，四川省科技厅基金（2012.01-2014.12），(项目经费30万)主研；
　　[4]“融合规则推理与本体推理的知识推理及其应用”，中央高校基金（2010.01-2011.12），主持；
　　[5]“基于本体的几何定理机器证明”，自然科学基金（2011.01-2013.12），(项目经费32万)，主研；
　　[6]“装备多信道存储转换器”，(项目经费51万)，主持；
　　[7]“基于智能电网的新型继电保护测试仪研制”，(项目经费100万)，第二主持。