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
Email: Álvaro García Pérez e-mail
Home Page:


My research interests are in concurrent and distributed systems and the foundations of programming languages. Currently I'm working in algorithms for consensus, and in the past I worked in process algebras, rule formats for structural operational semantics, nominal techniques, lambda calculus, abstract machines and program transformation

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