Universidad Complutense de Madrid
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
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
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.
16 January 2008