IMDEA Software

IMDEA initiative

Home > People > Elena Gutiérrez

Elena Gutiérrez

The information in this page may be outdated, as Elena Gutiérrez is currently not a member of the Institute.

Elena Gutiérrez
PhD - Technical University of Madrid (UPM), Spain
Former Post-doctoral Researcher

Home Page:

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.