Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
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.