Manuel Bravo

Manuel Bravo is a Post-doctoral Researcher at the IMDEA Software Institute in Madrid, Spain. He holds a PhD from Université catholique de Louvain in Belgium. His research focuses on foundational aspects of software engineering and formal methods, with an emphasis on advancing theoretical frameworks for programming languages and cyber-physical systems.

Education:

• PhD in Computer Science - Université catholique de Louvain, Belgium

Research interests include formal verification, type systems, and model-driven engineering. His work contributes to improving software reliability and safety in complex systems.

No academic awards or specific grants are listed in the provided information. He is affiliated with the IMDEA Software Institute's core research team.