Gabriel Ebner
Research Software Engineer
À propos
I am a Research Software Engineer in the RiSE group. 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.