人物經曆
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萬元。
國家重點研發計劃課題。項目名稱：“面向圖計算的探針計算機模型研究”。課題名稱：“漏洞搜索專用型樣機的研發”。
國家核高基專項。項目名稱：“智能網聯車輛系統驗證與數字孿生技術研究”。
國家自然科學基金委重點項目。項目名稱：“量子程序設計的理論基礎”。
上海市自然科學基金面上項目。項目名稱：“時間敏感型智能工業以太網協議的可信建模與驗證”。
社會任職
中國計算機學會形式化方法專委會委員。
上海市計算機學會計算機理論專委會委員。
