Kevin López-Aquino

About me

I’m a first-year PhD student at the IMDEA Software Institute, working under the supervision of Aleks Nanevski.

Previously, I obtained a master’s degree in formal methods in computer science from Universidad Complutense de Madrid and Universidad Politécnica de Madrid, a master’s in mathematics from Universidad de Sevilla, and a bachelor’s degree in computer science from Universidad Centroamericana José Simeón Cañas.

My research interests include proof theory, type theory and programming language semantics.

Contact

IMDEA Software Institute
Edificio IMDEA Software, office XXX
Campus Montegancedo UPM
28223 Pozuelo de Alarcón, Madrid
SPAIN

email: ((λx. λy. x.y@imdea.org)(kevin))(lopez)

News