导师介绍

导师姓名
傅育熙
导师性别男
职务职称教授.
所在院系软件学院
所属学科软件工程
研究方向并行理论及其应用并行理论及其应用
联系电话021-34205088
电子邮箱fu-yx@cs.sjtu.edu.cn

个人简介

傅育熙博士、教授、博士生导师。1981年就读于同济大学计算机系，1988年由国家教委公派至英国曼彻斯特大学计算机系攻读博士学位，1992年获博士学位。1993年在曼彻斯特大学计算机系作研究助理，参与欧共体项目"CLICS-II"的研究。1994年1月起在上海交通大学计算机科学与工程系工作，现为上海交通大学计算机科学与工程系主任、软件学院院长、上海高校软件理论研究中心主任、中国计算机学会理事会理事、中国数学会数理逻辑专业委员会常务理事、教育部高等学校计算机科学与技术教学指导委员会专业教学指导分委员会委员、教育部高等学校计算机科学与技术教学指导委员会计算机科学与技术专业教学指导分委员会副主任委员、上海市计算机学会副理事长、AsianAssociationforFoundationofSoftware(AAFS)的执行委员、上海市计算机行业协会副会长、全国示范性软件学院院长联席会主席（2004年度），是《MathematicalStructuresinComputerScience》等十多个学术刊物的编委。主要从事理论计算机科学研究，在国际学术刊物上发表论文三十余篇，曾先后在法国国家信息研究所、日本东京大学、法国巴黎七大进行访问研究。近五年先后担任的五个国际会议的cochair，多个国际会议（如ICSE2006）的程序委员会成员。曾负责十余个国家级科研项目的研究，是国家杰出青年基金获得者。目前担任国务院学位委员会第六届学科评议组成员。主要研究方向有：计算机科学理论、程序理论、生物信息学、形式化方法与验证、软件工程。
代表性论著

YuxiFu.TheoryofInteraction,2011.Submitted.YuxiFu,HanZhu.TheName-PassingCalculus,2011.Submitted.YuxiFu.TheValue-PassingCalculus,2011.Submitted.XiaojuanCai,YuxiFu.Theλ-Calculusintheπ-Calculus,acceptedbyMathematicalStructuresinComputerScience,2011.YuxiFu.TheorybyProcess.InProceedingsofCONCUR2010,volume6296ofLectureNotesinComputerScience,pages403-416,Springer,2010.YuxiFu,HaoLu.OntheExpressivenessofInteraction.TheoreticalComputerScience,411:1387-1451,2010.ChaodongHe,YuxiFu,HongfeiFu.DecidabilityofBehavioralEquivalencesinProcessCalculiwithNameScoping.InProceedingsofFSEN2011.YuxiFu.Fairambients,ActaInformatica,43(8):535-594,2007.YuxiFu.Onquasiopenbisimulation.TheoreticalComputerScience,338:96-126,2005.YuxiFu,ZhengrongYang.Taulawsforpicalculus.TheoreticalComputerScience,308:55-130,2003.YuxiFu,ZhengrongYang.Understandingthemismatchcombinatorinchicalculus.TheoreticalComputerScience,290:779-830,2003.YuxiFu.Bisimulationcongruencesofchicalculus.InformationandComputation,184:201-226,2003.