IMDEA Software

IMDEA initiative

Home > People

Gonzalo Ortiz

MS - Universidad Complutense de Madrid, Spain

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

Former PhD Student

Gonzalo Ortiz

Research Interests

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