当前位置: 软件学院

傅育熙

[ 2019-06-26 ]

  • 姓       名: 傅育熙(教授/博士生导师)

  • 最终学历:博士

  • 电       话:021-34205088

  • 办公地点:软件学院1306室

  • 邮       箱:fu-yx@cs.sjtu.edu.cn

  • 实  验  室:软件理论

  • 个人网页: http://basics.sjtu.edu.cn/~yuxi/


研究方向

软件理论


教育背景

1982年-1986年 同济大学 计算机系 学士

1987年-1992年 英国曼彻斯特大学 计算机博士


工作经验

1994年~今,上海交通大学 计算机系教授,软件学院 教授


开设课程

计算复杂性


代表性论著

【1】Yuxi Fu. Theory of Interaction. Theoretical Computer Science, 611:1-49, 2016.
【2】Yuxi Fu. Nondeterministic Structure of Computation. Mathematical Structures in Computer Science, 25:1295-1338, 2015.
【3】Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao. Branching Bisimilarity Checking for PRS. J. Esparza et al. (Eds.): ICALP 2014, Part II, Lecture Notes in Computer Science 8573, 363--374, 2014.
【4】Yuxi Fu. Checking Equality and Regularity for Normed BPA with Silent Moves. F.V. Fomin et al. (Eds.): ICALP 2013, Part II, Lecture Notes in Computer Science 7966, 244--255. Springer, 2013.
【5】Yuxi Fu. The Value-Passing Calculus. Theories of Programming and Formal Methods, Lecture Notes in Computer Science 8051, 166-195, 2013.
【6】Xiaojuan Cai, Yuxi Fu. The λ-Calculus in the π-Calculus. Mathematical Structures in Computer Science, 21: 943-996, 2011.
【7】Yuxi Fu, Hao Lu. On the Expressiveness of Interaction. Theoretical Computer Science, 411:1387-1451, 2010.
【8】Yuxi Fu, Zhengrong Yang. Tau laws for pi calculus. Theoretical Computer Science, 308:55-130, 2003.
【9】Yuxi Fu, Zhengrong Yang. Understanding the mismatch combinator in chi calculus. Theoretical Computer Science, 290:779-830, 2003.

【10】Yuxi Fu. Bisimulation congruences of chi calculus. Information and Computation.




获奖情况

上海市科技进步二等奖


学术兼职

  • 国务院学位委员会第六届学科评议组成员(2010-2014)

  • 上海市计算机学会理事长(2015-2018)

  • 教育部计算机类专业教学指导委员会副主任(2013-2017)

  • 上海高校软件理论研究中心主任

  • 全国示范性软件学院院长联席会主席(2004)

  • 教育部高等学校计算机类专业教学指导委员会专业教学指导分委员会委员暨计算机科学与技术专业教学指导分委员会副主任委员(2006-2010)

  • 上海市计算机行业协会副会长

  • 上海交大-微软教育部重点实验室主任


访问数量:
?a