►个人简介周俊临，副教授►联系方式邮箱：jlzhou@uestc.e.cn►教育背景访问学者：明尼苏达大学双城分校，2007-12～2008.12博士

►个人简介周益民，男，1980年11月出生，四川邛崃人，博士，副教授，中共党员，IEEEMember。1999年9月进入电子科技大学计算机科学与工程学院求学，2003年6月年获得计算

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

►个人简介卢国明，副教授，2002年毕业于电子科技大学计算机系，获计算机应用专业博士学位。►联系方式邮箱：lugm@uestc.e.cn►教育背景2012年

►个人简介卢光辉，副教授，2002年毕业于电子科技大学计算机系，获计算机应用专业博士学位。►联系方式电话：028－83206422邮箱：ghlu@uestc.e.c

►个人简介刘震，副教授►联系方式邮箱：quake@uestc.e.cn►教育背景刘震，博士，副教授，2007年毕业于电子科技大学获工学博士学位。长期从事数据

►个人简介刘启和，副教授►联系方式电话：61830096邮箱：qiheliu@uestc.e.cn►教育背景1991－1995：四川师范大学数学系本科

►个人简介林劼，副教授►联系方式电话：13551056613邮箱：linjie@uestc.e.cn►教育背景2003年7月毕业于电子科技大学计算机科学与技

►个人简介黄鹂声，副教授►教育背景1996年获电子科技大学计算机学院工学学士学位。2003年获电子科技大学计算机学院工学硕士学位。2011年获电子科技大学计算机科学与工程