Contact

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

+34 91 101 2202 ext 4139

elena.gutierrez[at]imdea.org

Last update: April, 2020

Elena Gutiérrez

I am a 4th-year PhD. student at the IMDEA Software Institute under the supervision of Pierre Ganty, expecting to graduate before October 2020.

Before joining IMDEA, I studied a Double Degree in Mathematics and Computer Science at Universidad Autónoma de Madrid.

You can find further information about me in my CV.

Weighted automata and weighted context-free grammars and their applications to software verification and ML
Parikh abstraction of languages

Finite-state automata and optimization algorithms: minimization, residualization
Learning automata

National Institute of Informatics (Tokyo). Under the supervision of Ichiro Hasuo. From May 2019 to Nov 2019.
IMDEA Software Institute (Madrid). Under the supervision of Pierre Ganty. Summers of 2013, 2014 and 2015.

E. Gutiérrez, T. Okudono, M. Waga and I. Hasuo. Genetic Algorithm for the Weighted Maximization Problem on Weighted Automata. To appear in GECCO 2020.
P. Ganty, E. Gutiérrez and P. Valero. A Congruence-based Perspective on Automata Minimization Algorithms. MFCS 2019. [PDF]
P. Ganty and E. Gutiérrez. The Regular Property for Weighted Context-Free Grammars. FSTTCS 2018. [PDF]
P. Ganty and E. Gutiérrez. Parikh Image of Pushdown Automata. FCT 2017. [PDF]

GA for WFAs. A genetic-algorithm-based metaheuristic for approximating the solution of the weight maximization problem on weighted automata over the rationals.[Publicly available soon!]
ELP. A linearisation procedure for index-bounded sets of Horn clauses.[Github Project Page]

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]