Iniciativa IMDEA

Inicio > Personal

Álvaro García Pérez

PhD - Universidad Politécnica de Madrid (UPM), España

Post-doctoral Researcher

Álvaro García Pérez
Instituto IMDEA Software

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
Página web:


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.