Gabriel Ebner

À propos

I am a Research Software Engineer in the RiSE group (opens in new tab).  I joined MSR in October 2022, working on the Lean theorem prover (opens in new tab).  My research broadly connects automated theorem proving to interactive theorem proving.