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.