Emilio Gallego

Home

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 for the Lean 4 programming language and theorem prover.

Thanks to all the Lean FRO sponsors and partners for making this work possible.

My long-term interest is making Lean-based formal developments easier to write, maintain, and work on collaboratively.

See my projects for ongoing software, my GitHub profile for code, and my about page for more background.

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.

This page is built with Verso.

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