傅育熙 教授
傅育熙，上海交通大学计算机系教授、博士生导师。原计算机科学与工程系主任，现任软件学院院长、上海高校软件理论研究中心主任、中国计算机学会理事会理事、中国数学会数理逻辑专业委员会常务理事、教育部高等学校计算机科学与技术教学指导委员会专业教学指导分委员会委员、上海市计算机学会理事及学术委员会副主任、理论与人工智能专业委员会主任委员、Asian Association for Foundation of Software (AAFS) 的执行委员、上海市计算机行业协会副会长，《计算机研究与发展》等六个学术刊物的编委，曾负责十余个国家级科研项目的研究，是国家杰出青年基金获得者。主要研究方向有：计算机科学理论、程序理论、生物信息学、形式化方法与验证、软件工程。