IMDEA Software

Iniciativa IMDEA

Inicio > Personal > Javier Valdazo

Javier Valdazo

La información de esta página podría estar desactualizada debido a que Javier Valdazo no es actualmente miembro del Instituto.

Javier Valdazo
BSc - Universidad Nacional de Córdoba (UNC), Argentina
Antiguo PhD Student


Tutor: Manuel Clavel

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

Short bio

Javier Valdazo was born in Córdoba, Argentina. He graduated at Instituto Espíritu Santo. He got his Computer Science degree at Universidad Nacional de Córdoba in the year 2007. He worked as TA for two and a half year in the University National of Córdoba.

He worked for a year at the software industry, where he performed tasks related to software maintenance in high reliability communication devices. Currently he is working as an intern at IMDEA. His interest areas include formal specification and verification, rigorous tool supported modeling and validation of software systems, programming lenguajes, automation, and genetic algorithms.

Research Interests

Formal specification and verification, rigorous tool supported modeling and validation of software systems, programming languages, automation, and genetic algorithms.