人物经历
2006.09-2011.07，华东师范大学，工学博士（硕博），导师：何积丰院士。
2002.09-2006.07，华东师范大学，工学学士。
2015.12-至今，华东师范大学软件工程学院，副教授。
2014.1-2015.10，澳门大学科技学院，博士后。
2011.7-2013.12，澳大利亚昆士兰大学信息技术与电子工程学院，博士后。
主要成就
主持：国家重点研发计划课题。项目名称：“高置信城市信物融合系统关键技术研发与应用”，课题名称：“多源城市数据全生命周期可信保障技术体系”。起止年月：2019.12-2022.11。课题经费：285万元。
国家自然科学基金委青年科学基金项目。项目名称：“面向时空约束的CPS协同机制的形式化建模与分析”。起止时间：2017.1-2019.12。资助经费：25万元。
华为技术有限公司横向课题。课题名称：“面向AI系统的可靠性建模与评估”。起止年月：2020.04-2021.05。资助经费：60万元。
国家重点研发计划课题。项目名称：“面向图计算的探针计算机模型研究”。课题名称：“漏洞搜索专用型样机的研发”。
国家核高基专项。项目名称：“智能网联车辆系统验证与数字孪生技术研究”。
国家自然科学基金委重点项目。项目名称：“量子程序设计的理论基础”。
上海市自然科学基金面上项目。项目名称：“时间敏感型智能工业以太网协议的可信建模与验证”。
社会任职
中国计算机学会形式化方法专委会委员。
上海市计算机学会计算机理论专委会委员。
