IMDEA initiative

Home > People

Santiago Zanella

PhD - École des Mines de Paris (ENSMP), France

Post-doctoral Researcher

Santiago Zanella IMDEA Software Institute
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid

Fax: +34-91-101-1358

Short bio

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.