Emilio Gallego

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

I am a 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.

My first name is Emilio Jesús and my two family names are Gallego (father's) and Arias (mother's), as is customary in Spain.

Contact

Electronic address

Remove the parenthesis.

  • Professional: emilio(@)lean-fro(.)org

  • Personal: e(@)x80(.)org

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's certificate.

Physical Location

I am based in Paris. Don't hesitate to ping me for a meetup if you would like to chat about Lean.

Other