IMDEA Software

IMDEA initiative

Home > People

Manuel Clavel

PhD - University of Navarra, Spain

The information in this page may be outdated, as Manuel Clavel is no longer a member of the Institute.

Former Associate Research Professor

Manuel Clavel

Short bio

Manuel Clavel received his Bachelor's degree in Philosophy from the Universidad de Navarra in 1992, and his Ph.D. from the same university in 1998. Currently, he is Deputy Director and Associate Research Professor at the IMDEA Software Institute, as well as Associate Professor at the Universidad Complutense de Madrid. During his doctoral studies, he was an International Fellow at the Computer Science Laboratory of SRI International (1994 - 1997) and a Visiting Scholar at the Computer Science Department of Stanford University (1995 - 1997). His Ph.D. dissertation was published by the Center for the Study of Language and Information at Stanford University. Since then, he has published over 30 refereed scientific papers. He has also been involved in the supervision of 3 Ph.D. students (1 completed).

His research focuses on rigorous, tool-supported model-driven software development, including: modeling languages, model quality assurance, and code-generation. Related interests include specification languages, automated deduction, and theorem proving.

Research Interests

Formal specification and verification, and rigorous tool supported modeling and validation of software systems.