个人简介

教育经历 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，已结题，主持