Welcome. I’m the CTO of Pi Squared Inc.

Contact

• Email: xiaohong.chen@pi2.network
• X/twitter: [link]
• Telegram: [link]
• LinkedIn: [link]

Bio

• 2024-present. CTO. Pi Squared Inc.
• 2023-2024. Research engineer. Runtime Verification Inc.
• 2016-2023. PhD. University of Illinois Urbana-Champaign.
• 2015-2016. Research assistant. Singapore University of Technology and Design.
• 2014-2015. Assistant lecturer. Birmingham City University.
• 2010-2014. BSc. Peking University.

Selected Publications

• Matching μ-logic. PhD Thesis. 2023.
• Generating proof certificates for a language-agnostic deductive program verifier. OOPSLA 2023.
• Towards a trustworthy semantics-based language framework via proof generation. CAV 2021.
• A general approach to define binders using matching logic. ICFP 2020.
• Towards A unified proof framework for automated fixpoint reasoning using matching logic. OOPSLA 2020.
• Matching μ-logic. LICS 2019.