Short bio

Santiago Zanella Béguelin received his Computer Science degree at National University of Rosario, Santa Fe, 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.

Research Interests

Formal methods in general, and in particular in: verification of cryptographic systems, language-based security, semantics of programming languages, type theory, theorem provers and process calculi.