个人简历

教育经历
2002-9至2005-7, 法国巴黎国立高等矿业学院, 博士
1999-9至2002-3, 上海交通大学, 硕士
1995-9至1999-7, 上海交通大学, 学士
工作经历
2015-6至今, 华东师范大学, 教授
2012-2至2014-2, 联合国教科文组织巴黎总部, 借调专家(P3级)
2011-2至2011-12, 美国卡内基梅隆大学, 访问学者
2006-9至2015-5, 上海交通大学, 副教授
2005-9至2006-9, 澳大利亚新南威尔士大学, 博士后
开授课程
Fall 2019: Functional Programming in Coq.
Fall 2018: Functional Programming in Coq.
Spring 2018: Great Theoretical Ideas in Computer Science.
Fall 2017: Functional Programming in Coq.
Spring 2017: Great Theoretical Ideas in Computer Science.
Fall 2016: Introduction to the Theory of Computation.
Spring 2016: Theory of Programming Languages.
Spring 2015: Mathematical Logic. The slides are available here.
Spring 2015: Formal Semantics of Programming Languages. The slides are available here.
Fall 2014: Data Structures and Algorithms. The slides are available here.
Spring 2014: Formal Semantics of Programming Languages. The slides are available here.
Spring 2010: Formal Semantics of Programming Languages. The slides are available here.
Fall 2009: Discrete Mathematics
Fall 2009: Data Structures and Algorithms
Spring 2009: Discrete Mathematics.
Spring 2009: Programming semantics. The lecture notes on probabilistic concurrency are available here.
Fall 2008: Discrete Mathematics.
Fall 2008: Data Structures and Algorithms.
Spring 2008: Programming semantics.
Spring 2008: Introduction to Software Engineering.
Fall 2007: Data Structures and Algorithms.
科研项目
– 国家自然科学基金委员会，重点项目，61832015，量子程序设计的理论基础，2019-01至2023-12，在研，参加
– 国家自然科学基金委员会，面上项目，61672229，量化进程的语义，2017-01至2020-12， 在研，主持
– 国家自然科学基金委员会，国际合作(中法)项目，61261130589，非普通进程的分析技术 、余归纳和可表达性，2013-01至2016-12，已结题，参加
– 国家自然科学基金委员会，面上项目，61173033，概率并发理论，2012-01至2015-12， 已结题，主持
– 国家自然科学基金委员会，重点项目，61033002，M-可解性，M-计算复杂性与计算 机科学的模型理论，2011-01至2014-12，已结题，参加
– 国家自然科学基金委员会，国际合作(中日)项目，61011140074，多线程程序语言 的程序分析研究，2010-01至2012-12，已结题，参加
– 国家自然科学基金委员会，青年项目，60703033，概率进程演算的测试语义， 2008-01至2010-12，已结题，主持

研究领域

并发理论, 程序语义，形式化验证""

近期论文

1、 - Yuxin Deng.
Semantics of Probabilistic Processes: An Operational Approach.
Jointly published by Springer-Verlag and Shanghai Jiao Tong University Press, 2015.
An introduction of the book has appeared in Bulletin of the European Association for Theoretical Computer Science, No. 116, June 2015.
2、- Xudong Qin, Yuxin Deng, and Wenjie Du.
Verifying Quantum Communication Protocols with Ground Bisimulation.
In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Lecture Notes in Computer Science 12079, pages 21-38. Springer, 2020.
3、- Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, and Min Zhang.
SMT-Based Generation of Symbolic Automata.
Acta Informatica, 2020. To appear.
4、- Peixin Wang, Hongfei Fu, Krishnendu Chatterjee, Yuxin Deng, and Ming Xu.
Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time.
In Proceedings of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), PACMPL 4, Article 25, 2020.
5、- Yuxin Deng and Jean-Francois Monin.
Formalisation of Probabilistic Testing Semantics in Coq.
In The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Lecture Notes in Computer Science 11760, pages 276-292. Springer, 2019.
6、- Patrick Gardy and Yuxin Deng.
Simulations for Multi-Agent Systems with Imperfect Information.
In Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)., Lecture Notes in Computer Science 11852, pages 138-153. Springer, 2019.
7、- Yuxin Deng
Bisimulations for Probabilistic and Quantum Processes (Invited Paper).
In Proceedings of the 29th International Conference on Concurrency Theory (CONCUR'18), LIPIcs 118, pages 2:1-2:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018.
8、- Hengyang Wu and Yuxin Deng.
Distribution-Based Behavioural Distance for Nondeterministic Fuzzy Transition Systems.
IEEE Transactions on Fuzzy Systems 26(2): 416-429, 2018.
9、- Hengyang Wu, Yixiang Chen, Tianming Bu, and Yuxin Deng.
Algorithmic and Logical Characterizations of Bisimulation for Non-deterministic Fuzzy Transition Systems.
Fuzzy Sets and Systems 333: 106-123, 2018.
10、- Yuxin Deng and Yuan Feng.
Probabilistic Bisimilarity as Testing Equivalence.
Information and Computation 257: 58-64, 2017.
11、- Yuxin Deng and Yuan Feng.
Bisimulations for Probabilistic Linear Lambda Calculi.
In Proceedings of the 11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'17), pages 1-8. IEEE Computer Society, 2017.
12、- Yuxin Deng, Min Zhang, and Guoqing Lei.
An Algebraic Approach to Automatic Reasoning for NetKAT Based on its Operational Semantics.
In Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17)., Lecture Notes in Computer Science 10610, pages 464-480. Springer, 2017.
13、- Chen Fu, Yuxin Deng, David N. Jansen, and Lijun Zhang.
On Equivalence Checking of Nondeterministic Finite Automata.
In Proceedings of the 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'17), Lecture Notes in Computer Science 10606, pages 216-231. Springer, 2017
14、- Wenjie Du, Yuxin Deng, and Daniel Gebler.
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems.
In Proceedings of the 2nd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'16), Lecture Notes in Computer Science 9984, pages 67-84. Springer, 2016.
15、- Hengyang Wu and Yuxin Deng.
Logical Characterizations of Simulation and Bisimulation for Fuzzy Transition Systems.
Fuzzy Sets and Systems 301: 19-36, 2016
16、- Yuxin Deng, Yuan Feng, and Ugo Dal Lago.
On Coinduction and Quantum Lambda Calculi.
In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15), LIPIcs 42, pages 427-440. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015.
17、- Yuxin Deng and Yu Zhang.
Program Equivalence in Linear Contexts.
Theoretical Computer Science, 585: 71-90, 2015.
18、- Yuxin Deng, Rob J. Simmons, and Iliano Cervesato.
Relating Reasoning Methodologies in Linear Logic and Process Algebra.
Mathematical Structures in Computer Science, pages 1-39. Cambridge University Press, December 2014.
19、- Yuan Feng, Yuxin Deng, and Mingsheng Ying.
Symbolic bisimulation for quantum processes.
ACM Transactions on Computational Logic, Vol. 15, No. 2, Article 14, April 2014.
上海市计算机学会理论计算机科学专业委员会主任（2019至今）
《Mathematical Reviews》评论员, 中国计算机学会高级会员, ACM会员
Invited speaker for the 29th International Conference on Concurrency Theory (CONCUR 2018)
Invited speaker for the Annual Meeting of IFIP Working Group 2.2, Bordeaux, 2017
Invited speaker for the Annual Meeting of IFIP Working Group 2.2, Singapore, 2016
Invited speaker for the Mathematical Structures of Computation workshop, Lyon, 2014
Invited speaker for the BASICS 2009 International Workshop on Computation and Interaction (BASICS 2009)
Invited tutorial speaker for the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010)
PC co-chair for the 10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)
PC co-chair for The 2nd National Conference on Formal Methods and Applications (FMAC’17)
Organization committee chair for the 4th National Conference on Formal Methods and Applications (FMAC 2019)
PC member for
– The 5th International Workshop on Security Issues in Concurrency (SecCo 2007)
– The 25th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2009)
– The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009)
– The 8th International Conference on Quantitative Evaluation of Systems (QEST 2011)
– ACM SIGPLAN 7th Workshop on Programming Languages and Analysis for Security (PLAS 2012)
– The 40th International Colloquium on Automata, Languages and Programming (ICALP 2013)
– The 10th International Conference on Quantitative Evaluation of Systems (QEST 2013)
– The 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2014)
– The 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
– The 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2016)
– The 43th International Colloquium on Automata, Languages and Programming (ICALP 2016)
– The 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017)
– The 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)
– The 4th Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2018)
– The 11th International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)
– The 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018)
– The 21st International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2018)
– The 15th International Conference on Quantitative Evaluation of Systems (QEST 2018)
– The 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018)
– The 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)
– The 20th International Conference on Formal Engineering Methods (ICFEM 2018)
– The 3rd National Conference on Formal Methods and Applications (FMAC 2018)
– The 35th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2019)
– The 30th International Conference on Concurrency Theory (CONCUR 2019)
– The 16th International Conference on Quantitative Evaluation of Systems (QEST 2019)
– The 4th National Conference on Formal Methods and Applications (FMAC 2019)
– The 21st International Conference on Formal Engineering Methods (ICFEM 2019)
– The 17th International Conference on Quantitative Evaluation of Systems (QEST 2020)