Iniciativa IMDEA

Inicio > Personal

Elena Gutierrez

BS - Universidad Autónoma de Madrid, España

PhD Student

Elena Gutierrez
Instituto IMDEA Software

Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
SPAIN

Office: 342
Telephone: +34 91-101-2202 ext 4139
Fax: +34-91-101-1358
Email: Elena Gutierrez e-mail
Página web: https://elenagutiv.github.io/


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.