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

发布时间: 2023-01-07 21:01:55

►个人简介
钟秀琴，副教授
►联系方式
电话：028-61831670
邮箱：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万)，第二主持。