Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
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.