About

I'm a Research Software Engineer at the Lean FRO. My current work is on verified decision procedures, code generation and performance optimizations in Lean 4. Beyond my theorem proving interests I also enjoy low level tinkering on embedded devices.