I work on making interactive theorem provers easier to use, with a particular interest in using state-of-the-art programming language techniques to facilitate HCI and ML research!
See my personal page for more information about me.
Don't hesitate to get in touch with me via Lean's Zulip! Have fun hacking!
My pronoums are he/him/él.