Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
Telephone: +34 91-101-2202 ext 4122
Home Page: http://babel.ls.fi.upm.es/~agarcia
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.