IMDEA Software Institute
Campus de Montegancedo s/n
28223 - Pozuelo de Alarcón
+34 91 101 2202 ext 4139
Last update: January, 2017
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