IMDEA Software

IMDEA initiative

Home > People > Teresa Trigo

Teresa Trigo

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

Teresa Trigo
Former PhD Student

Adviser: Pedro López

Research Interests

Software verification techniques based on static analysis and its application to embedded systems.Resource usage analysis and Automatic parallelization.