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.