IMDEA Software

Iniciativa IMDEA

Inicio > Personal

César Sánchez

PhD - Universidad Stanford, EE.UU.

Associate Research Professor
Plaza Asociada: Scientific Researcher at the Consejo Superior de Investigaciones Cientificas (CSIC), España

César Sánchez
Instituto IMDEA Software

Office: 314
Telephone: +34-91-101-2202 ext 4105
Email: César Sánchez e-mail
Página web:

Short bio

César Sánchez joined the Instituto IMDEA Software Institute in 2008, after a short post-doc at Universidad de California en Santa Cruz, EE.UU.. In 2009 he received a dual appointment as a at the Consejo Superior de Investigaciones Cientificas (CSIC), España. He received a Ph.D. in Computer Science from Universidad Stanford, 2007, and a M.S in Computer Science in 2001 also from Universidad Stanford, EE.UU.. Before that, César received an MSEE (Ingeniería de Telecomunicación) from the Universidad Politécnica de Madrid (UPM), España in 1998.

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.


Intereses de Investigación

Applications of logic to computer science, and applicable formal methods for the design, analysis and verification of distributed systems, real-time systems and embedded systems.