IMDEA initiative

Home > People

Cesar Sanchez

PhD - Stanford University, USA

Associate Research Professor
Scientific Researcher (CSIC)

Cesar Sanchez
IMDEA Software Institute

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

Office: 314
Telephone: +34-91-101-2202 ext 4105
Fax: +34-91-101-1358
Email: Cesar Sanchez e-mail
Home Page:

Short bio

César Sánchez joined the IMDEA Software Institute Institute in 2008, after a short post-doc at University of California at Santa Cruz, USA. In 2009 he received a dual appointment as a at the Spanish National Research Council (CSIC). He received a Ph.D. in Computer Science from Stanford University, USAin 2007, and a M.S in Computer Science in 2001 also from Stanford University, USA. Before that, César received an MSEE (Ingeniería de Telecomunicación) from the Technical University of Madrid (UPM), Spain in 1998.

Research Interests

My research areas include formal methods and distributed systems, in particular lightweight techniques that can be combined with existing software processes to increase the confidence on the quality of a design, for example by formaly imposing some property. Other applications include run-time verification and directed testing.

For a list of publications or further information please see my personal website.