Teresa Trigo

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

Antiguo PhD Student

Tutor: Pedro López

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

Research Interests

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