I'm a Senior Principal Researcher in the RiSE group at Microsoft Research.

Projects

Lean Theorem Prover

Z3 Theorem Prover

Teaching

I really enjoy teaching. Here is a list of courses I have taught in the past.