吉林大学计算机科学与技术学院硕士生导师——欧阳丹彤

欧阳丹彤女，1968年生，1998年获博士学位，教授，博士生导师。主要研究方向为：基于模型诊断、自动推理。


著作及论文

　　在国内外核心刊物上发表论文40余篇，其中SCI1篇，EI6篇。
承担项目

　　作为骨干参加完成国家与省部级项目14项。作为项目负责人完成国家自然科学基金项目1项、教育部项目2项、中国博士后科学基金项目1项；2001至2004年作为课题副组长承担863重大应用示范项目2项；2004年承担国家自然科学基金重大项目1项；获教育部“新世纪优秀人才支持计划”支持。