Manuel Clavel

Manuel Clavel is an Associate Professor at the Universidad Complutense de Madrid. Previously, he served as Deputy Director and Associate Research Professor at the IMDEA Software Institute (now former affiliation). He holds a Bachelor's degree in Philosophy (1992) and a Ph.D. (1998) from the University of Navarra, Spain. During his doctoral studies, he was an International Fellow at SRI International's Computer Science Laboratory (1994–1997) and a Visiting Scholar at Stanford University's Computer Science Department (1995–1997). His Ph.D. dissertation was published by Stanford University's Center for the Study of Language and Information.

His research focuses on rigorous, tool-supported methodologies for software systems, including modeling languages, model validation, code-generation, and formal verification. He has published over 30 refereed papers and supervised three Ph.D. students (one completed).

No specific scientific awards or grants are listed in the provided text. His work emphasizes automated deduction and theorem proving in the context of software development.