Cornell University · Computer Science

Program verification, formal methods, and algebraic reasoning.

I am a PhD student at Cornell University working with Alexandra Silva on program verification, often including the use of Kleene Algebra with Tests (KAT).

My work focuses on program verification, formal methods, and automata theory, with recent projects on Guarded Kleene Algebra with Tests and quantitative extensions for program reasoning as well as non-local control flow.