An image of me

Contact Information

IMDEA Software Institute
Office 342
Campus de Montegancedo s/n
28223 - Pozuelo de Alarcón
Madrid, Spain

+34 91 101 2202 ext 4139

Last update: June, 2018

Elena Gutiérrez

PhD. student

About me

I am a PhD. student at the IMDEA Software Institute under the supervision of Pierre Ganty.

I have studied a Double Degree on Mathematics and Computer Science at the UAM University from 2011 to 2016. Highly interested in starting my professional career, I completed a summer internship at IMDEA Software Institute in 2013. As a first step in research I really enjoyed it, so I repeated the experience during the summer of 2014 and 2015. Once I finished my Double Degree I decided to start a PhD.

You can find further information about me in my CV.


PhD. Research

My research is focused on applications of Automata Theory and Formal Languages Theory in the field of Program Verification.


During my summer internships at IMDEA, I worked on the Linearisation of Horn clauses. As a result of this work, I presented my final degree project on this topic under the title 'Linearisation of k-index bounded sets of Horn clauses'. This project includes the implementation of a procedure in Prolog that transforms a set of non-linear Horn clauses into linear preserving the models. The procedure is available in a public repository in Github.


▪ P. Ganty and E. Gutiérrez. Parikh Image of Pushdown Automata. In FCT (2017). [PDF]


ELP. A linearisation procedure for index-bounded sets of Horn clauses.[Github Project Page]


▪ E. Gutiérrez. Linearisation of k-index bounded sets of Horn clauses. Double Degree on Mathematics and Computer Science thesis, Universidad Autónoma de Madrid, May 2016. [PDF]

Copyright © 2017 Elena Gutiérrez