The information in this page may be outdated, as Santiago Zanella is no longer a member of 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.