This page might be outdated, as Santiago Zanella left the Institute.
Santiago Zanella Béguelin received his Computer Science degree at Universidad Nacional de Rosario (UNR), Argentina in 2006 and started his Ph.D. studies under the supervision of Gilles Barthe in 2006 at the École des Mines de Paris (ENSMP), France, as a member of the Marelle team at INRIA Sophia Antipolis-Méditerranée, France. He joined IMDEA in November 2009. He also collaborates with the Secure Distributed Computations and their Proofs team in the INRIA-Microsoft Research Joint Centre, Paris.
His main areas of interest include program specification and verification, verification of cryptographic systems, language-based security, semantics of programming languages, and theorem provers.