IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Álvaro García

Álvaro García

La información de esta página podría estar desactualizada debido a que Álvaro García no es actualmente miembro del Instituto.

Álvaro García
PhD - Universidad Politécnica de Madrid, España
Antiguo Post-doctoral Researcher


Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.