research

My research focuses on making formal verification more accessible to software engineers. In particular, I develop novel automated verification techniques for concurrent and distributed systems software, with the goal of reducing the burden of manual proofs and enabling formal methods to scale to larger and more complex systems.

Publications