I'm a Senior Principal Applied Scientist in the Automated Reasoning Group at AWS.

Project

Lean Theorem Prover

Previous Projects

Z3 SMT Solver

Yices 1.0 SMT Solver

SAL (the Symbolic Analysis Laboratory)

Teaching

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