The information in this page may be outdated, as Álvaro García Pérez is no longer a member of the Institute.
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.