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

Office: 322
Telephone: +34 91-101-2202 ext 4122
Email: Álvaro García Pérez e-mail
Home Page:

Brief Introduction

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.

Research Interests

Concurrent and Distributed Systems, Algorithms for Consensus, Process Algebras, Rule Formats for Structural Operational Semantics, Nominal Techniques, Lambda Calculus, Abstract Machines and Program Transformation.