软件理论

【招生方向】：理论计算机科学。目前主要研究方向包括形式化方法与程序语言理论，模型检测的算法复杂性及应用，并发理论及其应用。

【近期（与学生合作）部分工作】：3维VASS可达性问题复杂性研究；一类高可靠编译器的设计、证明与实现；非确定概率模型的发散性理论及应用研究等。

【对学生要求】：对理论研究有兴趣，有较好算法或计算理论背景。

【联系方式】：有兴趣的同学请通过邮箱 fu-yx@cs.sjtu.edu.cn 联系。

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.

国家重点基础研究发展计划（973）项目：语义网格的基础理论、模型与方法研究，2004年1月至2006年12月。本人负责一级子项目“网格环境下支持产品创新设计的知识供应理论与技术”。

国家自然科学基金重点项目：对等计算及广域网虚拟平台， 2005年1月至2007年12月。

国家自然科学基金：进程演算的表达能力研究，2009年1月至2011年12月。

国家自然科学基金国际合作项目：多线程程序语言的程序分析研究，2010年1月至2012年12月。

国家自然科学基金重点项目：M-可解性、M-计算复杂性与计算机科学的模型理论，2011年1月至2014年12月。

国家自然科学基金可信软件重大集成项目：可信软件理论、方法集成与综合试验平台，2013年2月-2016年12月。

国家自然科学基金国际(地区)合作交流项目：非普通进程的分析技术、余归纳和可表达性，2013年2月-2016年12月。

国家自然科学基金面上项目，61472239，进程理论中的否定结果研究，2015/01-2018/12。

上海市科委“上海市优秀学术带头人计划”：计算机科学的结构与核心基础理论，2011年6月1日至2013年5月31日。
 

上海市科技进步二等奖

国务院学位委员会第六届学科评议组成员（2010-2014）

上海市计算机学会理事长（2015-2018）

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

上海高校软件理论研究中心主任 全国示范性软件学院院长联席会主席（2004）

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

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

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