IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Santiago Zanella

Santiago Zanella

La información de esta página podría estar desactualizada debido a que Santiago Zanella no es actualmente miembro del Instituto.

Santiago Zanella
PhD - École des Mines de Paris, Francia
Antiguo Post-doctoral Researcher


Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.