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: January, 2017

Elena Gutiérrez

PhD. student

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 Formal Languages in the field of Program Verification.

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.


During the 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.


▪ 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]


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

Copyright © 2017 Elena Gutiérrez