Hello! I'm Xinyi WAN, a researcher interested in formal verification.
Formal verification :: theorem proving :: { program logic, operating system verification }
About me
-
💼 Research assistant at Ant Group.
-
❤️ I'm currently exploring how to verify Rust kernels using Verus and exploring concurrent separation logic.