报告人：傅育熙（上海交通大学教授）

报告时间：2011年11月15日9:30

报告地点：校本部理工大楼504学术报告厅

报告人简介：现任上海交通大学教授、博士生导师。是国家杰出青年基金获得者。目前担任国务院学位委员会第六届学科评议组成员。1981年就读于同济大学计算机系，1988年由国家教委公派至英国曼彻斯特大学计算机系攻读博士学位，1992年获博士学位。1993年在曼彻斯特大学计算机系作研究助理，参与欧共体项目"CLICS-II"的研究。1994年1月起在上海交通大学计算机科学与工程系工作，现为上海交通大学软件学院院长、上海市计算机学会副理事长。曾先后在法国国家信息研究所、日本东京大学、法国巴黎七大进行访问研究。近五年先后担任的五个国际会议的cochair，多个国际会议（如ICSE 2006）的程序委员会成员。曾负责十余个国家级科研项目的研究，主要研究方向有：计算机科学理论、程序理论、生物信息学、形式化方法与验证、软件工程。