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

I am a CNRS research engineer (non-permanent) in the PiCube Inria team, hosted at IRIF, a joint laboratory between the CNRS and Université de Paris Cité.

I work in the ERC project MALINCA, which aims to bridge the linguistic gap between the mathematician and the machine.

The goal of my research 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.

I am a core member of the Rocq Development Team since 2015, and a happy user of the Mathematical Components Libraries; see it in action in some of my proofs.

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:

e at(@) x80 (dot) 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 certificate.

Physical Location

Office 4032

Emilio Jesús Gallego Arias
Université Paris Diderot
Batiment Sophie Germain, Case 7014
8 place Aurélie-Nemours
75013, Paris

Other