Chengsong Tan -

Registered user since Thu 27 Jun 2019

Name:Chengsong Tan

Country:China

Affiliation:Imperial College London, Kaihong

GitHub: https://github.com/ChengsongTan

Research interests:Formal verification

Contributions

2025

FormaliSE

Author of The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs within the Research Track-track

2020

SPLASH

ECOOP

2019

ECOOP

Author of POSIX Regular Expression Matching and Lexing within the Doctoral Symposium-track