删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
上海交通大学软件学院研究生导师介绍傅育熙
上海交通大学 免费考研网/2012-12-17
导师介绍
导师姓名
傅育熙
导师性别男
职务职称教授.
所在院系软件学院
所属学科软件工程
研究方向并行理论及其应用并行理论及其应用
联系电话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.
相关话题/软件 导师
上海交通大学软件学院研究生导师介绍邹恒明
导师介绍导师姓名邹恒明导师性别男职务职称教授.所在院系软件学院所属学科软件工程研究方向安全存储技术高可靠软件设计联系电话021-3420-4934电子邮箱zou-hm@cs.sjtu.edu.cn个人简介美国密歇根大学计算机科学与工程博士中国科学院计算技术研究所计算机科学硕士华中理工大学(现华中科技 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍周憬宇
导师介绍导师姓名周憬宇导师性别男职务职称讲师.所在院系软件学院所属学科软件工程研究方向信息检索集群系统联系电话021-34204125电子邮箱zhou-jy@cs.sjtu.edu.cn个人简介2006年9月,毕业于美国加州大学圣芭芭拉分校,获计算机科学博士学位,然后继续在圣芭芭拉分校从事博士后研究 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍赵建军
导师介绍导师姓名赵建军导师性别男职务职称教授.所在院系软件学院所属学科软件工程研究方向软件工程、程序语言的设计与实现软件安全联系电话34204620电子邮箱zhao-jj@sjtu.edu.cn个人简介赵建军,男,1987年7月在清华大学计算机科学与技术系计算机应用专业获得学士学位。1993年4月到 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍杨旭波
导师介绍导师姓名杨旭波导师性别男职务职称教授.所在院系软件学院所属学科软件工程研究方向虚拟现实与数字媒体计算机图形学联系电话021-34204142电子邮箱yangxubo@sjtu.edu.cn个人简介1998年博士毕业于浙江大学计算机辅助设计与图形学(CAD&CG)国家重点实验室。1998年至2 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍肖双九
导师介绍导师姓名肖双九导师性别女职务职称副教授.所在院系软件学院所属学科软件工程研究方向计算机图形学新型人机交互技术联系电话021-34204131电子邮箱xiaosj@sjtu.edu.cn个人简介代表性论著 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍吴刚
导师介绍导师姓名吴刚导师性别男职务职称副教授.所在院系软件学院所属学科软件工程研究方向分布计算普适计算联系电话34204046/13636378962电子邮箱wugang@cs.sjtu.edu.cn个人简介1995年7月于国防科技大学获计算机专业学士学位;2000年12月于国防科技大学获计算机科学 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍王赓
导师介绍导师姓名王赓导师性别男职务职称讲师.所在院系软件学院所属学科软件工程研究方向RFID与物联网工程嵌入式智能系统联系电话021-34204621电子邮箱wgeng@sjtu.edu.cn个人简介2007年12月博士毕业于上海交通大学计算机科学与工程系,获计算机应用专业博士学位,进入上海交通大学 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍王东
导师介绍导师姓名王东导师性别男职务职称副教授.所在院系软件学院所属学科软件工程研究方向RFID与物联网,普适计算物流信息技术与系统,电子商务联系电话18621365573,021-34205077电子邮箱wangdong@cs.sjtu.edu.cn个人简介1969年10月生,上海交通大学软件学院博 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍唐新怀
导师介绍导师姓名唐新怀导师性别男职务职称副研究员.所在院系软件学院所属学科软件工程研究方向分布计算技术中间件技术联系电话3420611462820176电子邮箱xinhuait@sjtu.edu.cn个人简介主意从事分布计算,移动计算,中间件技术和面向服务的计算等方面的研究代表性论著 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17上海交通大学软件学院研究生导师介绍唐飞龙
导师介绍导师姓名唐飞龙导师性别男职务职称副教授.所在院系软件学院所属学科软件工程研究方向并行与分布式计算无线传感网联系电话13916119538电子邮箱tang-fl@cs.sjtu.edu.cn个人简介唐飞龙,博士,副教授,男,汉族。2005年于上海交通大学获工学博士学位。自2005年6月留校任教 ...上海交通大学师资导师 上海交通大学 免费考研网 2012-12-17