Manuel Clavel

Universidad Complutense de Madrid
Facultad de Informática
Departamento de Sistemas Informáticos y Programación
C/ Prof. José García Santesmases, s/n
28040 MADRID

email: clavel[at]sip[dot]ucm[dot]es
tel.: +34-913947555
fax: +34-913947529
ofic.: 439

Manuel Clavel is an Associate Professor in the Faculty of Computer Science at the Universidad Complutense de Madrid and an Associate Research Scientist at the IMDEA Software Institute, where he leads a research line on rigorous, tool-supported modeling and validation.

He received his bachelor's degree in Philosophy from the Universidad de Navarra in 1992, and his Ph.D from the same university in 1998. 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.

His research focuses on formal specification and verification, and rigorous modeling and validation of software systems. Related interests include automated deduction, inductive reasoning, and artificial intelligence. He is a member of the team in charge of the design and implementation of the Maude system. He is the leader of the group which has developed the MOVA tool, a modeling and validation experimental tool. He has participated in several R&D industrial projects on modeling and validation of software systems.

Further information:

16 January 2008