Iniciativa IMDEA

Inicio > Personal

Gonzalo Ortiz

MS - Universidad Complutense de Madrid, España

La información de esta página podría estar desactualizada debido a que Gonzalo Ortiz no es ya miembro del Instituto.

Antiguo PhD Student

Gonzalo Ortiz

Intereses de Investigación

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