IMDEA Software

IMDEA initiative

Home > People > Gonzalo Ortiz

Gonzalo Ortiz

The information in this page may be outdated, as Gonzalo Ortiz is currently not a member of the Institute.

Gonzalo Ortiz
MS - Universidad Complutense de Madrid, Spain
Former PhD Student


Adviser: Manuel Clavel

Research Interests

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