IMDEA initiative

Home > People

Álvaro García Pérez

PhD - Technical University of Madrid (UPM), Spain

Post-doctoral Researcher

Álvaro García Pérez
IMDEA Software Institute

Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid

Office: 322
Telephone: +34 91-101-2202 ext 4122
Fax: +34-91-101-1358
Home Page:

Short bio

Álvaro García Pérez joined the IMDEA Software Institute Institute in 2008. In 2009 he received a M.Sc. in Computer Science from Technical University of Madrid (UPM), Spain. Before that, Álvaro received a 5 year degree in Software Engineering and Computer Science (Ingeniero en Informática) from Technical University of Madrid (UPM), Spain.


The topic of my PhD is the operational aspects of full reduction in lambda calculi. I have studied theories and models for higher-order functional programming languages where the operational framework considered reduces up to normal form, this is, performing normalisation. Two main applications are program optimisation by means of partial evaluation and supercompilation, and dependently-typed programming, where normalisation helps to implement the beta-equivalence check on types in the conversion rule.

My research interests range over functional programming, type theory foundations, semantics of programming languages, and dependently-typed programming.

For a list of publications or further information please see my personal webpage.