IMDEA Software

IMDEA initiative

Home > People > Javier Valdazo

Javier Valdazo

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

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


Adviser: Manuel Clavel

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.