IMDEA Software

IMDEA initiative

Home > People

Elena Gutierrez

BS - Universidad Autónoma de Madrid, Spain

PhD Student

Elena Gutierrez
IMDEA Software Institute

Office: 342
Telephone: +34 91-101-2202 ext 4139
Email: Elena Gutierrez e-mail
Home Page:

Adviser: Pierre Ganty

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.