Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
Á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.