Hi there 👋, this is Emilio's personal web page, welcome !

I am Senior Research Engineer at the Lean FRO, working on the next generation collaborative mathematical workbench project.

My long-term goal is to make interactive theorem provers easier to use, with a particular interest in using state-of-the-art programming language techniques to improve their maintenance, enable quick prototyping, and foster cross-domain Human-Computer Interaction and Machine Learning research.

See my projects for more information about ongoing software. You may also find my Github Profile and about page useful.

My pronouns are he/him/él.

Contact

Electronic address:

[remove the parenthesis]

My gpg public key is F878 DB33 AA77 EB4E 058F 94B3 D3DA 7A34 4681 F041; you can securely retrieve it provided you trust this site certificate.

Physical Location

I am based in Paris, don't hesitate to ping me up for a meetup if you would like to chat about Lean!

Other