您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

欧阳丹彤

     

  

基于模型的诊断、定理机器证明、自动推理

个性化签名

TA的关注(0) 关注TA的(0)
留言板

该学者已关闭了留言功能

暂无留言

  • 张卫

    复旦大学

    从事集成电路工艺、半导体材料和器件的研究。

  • 马义德

    兰州大学

    信息传输与处理、计算机应用、数字图像处理技术、生物医学工程等

  • 张庆灵

    东北大学

    主要从事于微分代数系统的结构性质及其相关控制问题的研究。

  • 吴振强

    陕西师范大学

    网络安全与信息隐藏。

  • 刘兴钊

    电子科技大学

    BST铁电薄膜、半导体SiC外延薄膜、半导体低维结构等

  • 孙正兴

    南京大学

    多媒体计算、计算机视觉和智能人机交互等,重点研究面向普适计算的智能视觉环境及其交互技术

  • 张波

    电子科技大学

    长期从事功率半导体技术、电源管理IC及专用IC的教学、科研和人才培养。

  • 朱义胜

    大连海事大学

    通信与电路方面的教学和研究

  • 姓名:欧阳丹彤
  • 目前身份:
  • 担任导师情况:
  • 学位:
  • 学术头衔:

    博士生导师

  • 职称:-
  • 学科领域:

    计算机科学技术

  • 研究兴趣:基于模型的诊断、定理机器证明、自动推理
个人简介

欧阳丹彤,女,满族,1968年10月4日出生于吉林省长春市。分别在1990年、1993年、1998年于吉林大学计算机科学系获得学士、硕士和博士学位,2001年博士后出站,同年被破格评为教授,2003年被评为博士生导师。现为吉林大学计算机科学与技术学院智能规划与自动推理教研室主任,中国计算机学会理论计算机科学专业委员会委员。
    主讲过多门次的本科生课程和研究生课程,其中专业基础课程“离散数学”2004年被评为国家级精品课程。
    主要研究方向为:基于模型的诊断、定理机器证明、自动推理。多年来,作为骨干参加完成或独立完成了国家级与省部级项目14项,获省教委科技进步一等奖1项。作为项目负责人完成国家自然科学基金项目1项(被基金委评优)、教育部项目2项、中国博士后科学基金项目1项;01至04年作为课题责任人承担863重大应用示范项目2项;04年承担国家自然科学基金重大项目1项;正在独立承担教育部“新世纪优秀人才支持计划”项目1项。在国内外核心刊物上发表论文40余篇,00年获全国博士后优秀论文一等奖。

  • 主页访问

    3716

  • 关注数

    0

  • 成果阅读

    170

  • 成果数

    10

TA的成果
个人主页 返回顶部