Elena Gutiérrez

La información de esta página podría estar desactualizada debido a que Elena Gutiérrez no es actualmente miembro del Instituto.

PhD - Universidad Politécnica de Madrid, España
Antiguo Post-doctoral Researcher

Página web: https://elenagutiv.github.io/

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

About me

I am a PhD. student at the IMDEA Software Institute under the supervision of Pierre Ganty. I am currently working on Automata Theory and context-free languages in the field of program verification. For further information, visit my personal webpage.

Research Interests

Program verification, context-free languages, automata theory, logic programming.