新功能、新界面、新体验,扫描即可下载生物谷APP!
首页 » 导师库 » 傅育熙——上海交通大学——程序理论、形式化方法与验证、生物信息学

傅育熙——上海交通大学——程序理论、形式化方法与验证、生物信息学

来源:生物谷 2016-07-26 17:37

导师姓名:傅育熙         导师类别:博士生导师  

  • 姓名: 傅育熙       性别: 男       出生年月:
  • 所在院校: 上海交通大学       所在院系: 电子信息与电气工程学院
  • 职称: 教授       招生专业: 计算机软件与理论
  • 研究领域: 程序理论、形式化方法与验证、生物信息学
  • 联系方式

  • E-Mail: fu-yx@cs.sjtu.edu.cn       电话: 021-*******       邮编: 0
  • 地址:
  • 个人简介

      傅育熙博士、教授、博士生导师。1981年就读于同济大学计算机系,1988年由国家教委公派至英国曼彻斯特大学计算机系攻读博士学位,1992年获博士学位。1993年在曼彻斯特大学计算机系作研究助理。1994年1月起在上海交通大学计算机科学与工程系工作,现为计算机科学与工程系主任、软件学院院长、上海高校软件理论研究中心主任、中国计算机学会理事会理事、中国数学会数理逻辑专业委员会常务理事、教育部高等学校计算机科学与技术教学指导委员会专业教学指导分委员会委员、上海市计算机学会理事及学术委员会副主任、理论与人工智能专业委员会主任委员、Asian Association for Foundation of Software (AAFS) 的执行委员、上海市计算机行业协会副会长,《计算机研究与发展》等六个学术刊物的编委,曾负责十余个国家级科研项目的研究,是国家杰出青年基金获得者。主要研究方向有:计算机科学理论、程序理论、生物信息学、形式化方法与验证、软件工程。
    温馨提示:87%用户都在生物谷APP上阅读,扫描立刻下载! 天天精彩!


    相关阅读

    相关标签

    最新会议 培训班 期刊库