IMDEA Software

IMDEA initiative

Home > People > Álvaro García

Álvaro García

The information in this page may be outdated, as Álvaro García is currently not a member of the Institute.

Álvaro García
PhD - Technical University of Madrid (UPM), Spain
Former Post-doctoral Researcher

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.