IMDEA Software Institute
Campus de Montegancedo s/n
28223 - Pozuelo de Alarcón
+34 91 101 2202 ext 4139
Last update: September, 2018
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.
You can find further information about me in my CV.
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]
▪ P. Ganty and E. Gutiérrez. The Regular Property for Weighted Context-Free Grammars. In FSTTCS 2018. [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