<address id="zl9l9"><listing id="zl9l9"><meter id="zl9l9"></meter></listing></address>
      <form id="zl9l9"></form>

      <form id="zl9l9"></form>

                <form id="zl9l9"></form>

                  <form id="zl9l9"><nobr id="zl9l9"><th id="zl9l9"></th></nobr></form>

                  <form id="zl9l9"></form>

                  当前位置: 招生信息 >  优秀师资 >  软件学院

                  傅育熙(国家杰出青年基金获得者)

                  [ 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.


                  科研项目

                  1. 国家杰出青年科学基金:计算机科学技术的基础理论,2003年1月至2006年12月。
                  2. 国家重点基础研究发展计划(973)项目:语义网格的基础理论、模型与方法研究,2004年1月至2006年12月。本人负责一级子项目“网格环境下支持产品创新设计的知识供应理论与技术”。
                  3. 国家自然科学基金重点项目:对等计算及广域网虚拟平台, 2005年1月至2007年12月。
                  4. 国家自然科学基金:进程演算的表达能力研究,2009年1月至2011年12月。
                  5. 国家自然科学基金国际合作项目:多线程程序语言的程序分析研究,2010年1月至2012年12月。
                  6. 国家自然科学基金重点项目:M-可解性、M-计算复杂性与计算机科学的模型理论,2011年1月至2014年12月。
                  7. 国家自然科学基金可信软件重大集成项目:可信软件理论、方法集成与综合试验平台,2013年2月-2016年12月。
                  8. 国家自然科学基金国际(地区)合作交流项目:非普通进程的分析技术、余归纳和可表达性,2013年2月-2016年12月。
                  9. 国家自然科学基金面上项目,61472239,进程理论中的否定结果研究,2015/01-2018/12。
                  10. 上海市科委“上海市优秀学术带头人计划”:计算机科学的结构与核心基础理论,2011年6月1日至2013年5月31日。

                  获奖情况

                  上海市科技进步二等奖

                  学术兼职

                  • 国务院学位委员会第六届学科评议组成员(2010-2014)
                  • 上海市计算机学会理事长(2015-2018)
                  • 教育部计算机类专业教学指导委员会副主任(2013-2017)
                  • 上海高校软件理论研究中心主任
                  • 全国示范性软件学院院长联席会主席(2004)
                  • 教育部高等学校计算机类专业教学指导委员会专业教学指导分委员会委员暨计算机科学与技术专业教学指导分委员会副主任委员(2006-2010)
                  • 上海市计算机行业协会副会长
                  • 上海交大-微软教育部重点实验室主任


                  访问数量:
                   a
                  四不像特马生肖图-官网|平台首页