| 姓名: | 欧阳丹彤 |
| 学校: | 吉林大学 |
| 学院: | 计算机科学与技术学院 |
| 职称: |
欧阳丹彤 女,1968年生,1998年获博士学位,教授,博士生导师。主要研究方向为:基于模型诊断、自动推理。作为骨干参加完成国家与省部级项目14项。作为项目负责人完成国家自然科学基金项目1项、教育部项目2项、中国博士后科学基金项目1项;2001至2004年作为课题副组长承担863重大应用示范项目2项;2004年承担国家自然科学基金重大项目1项;获教育部“新世纪优秀人才支持计划”支持。在国内外核心刊物上发表论文40余篇,其中SCI 1篇,EI 6篇。