IMDEA Software

IMDEA initiative

Home > People

Teresa Trigo

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

Former PhD Student

Teresa Trigo

Research Interests

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