From a young age, I have enjoyed studying science and, in particular, Mathematics. This led me to study a Double Degree in Computer Science and Mathematics at Universidad Autónoma de Madrid, finalizing my studies in May, 2016.
Currently, I am a PhD student at the IMDEA Software Institute working on different problems related to Automata and Language Theory with focus on practical applications.
Further details can be found on my CV
and/or my GitHub page
DCC 2019: Regular Expression Search on Compressed Text with Pierre Ganty.
Available at arXiv.org
ATVA 2017: A Language-theoretic View on Network Protocols with Pierre Ganty and Boris Köpf.
Extended version available at arXiv.org
- Zearch: A grep-like tool for regular
expression search on grammar-compressed texts. The tool works on repair compressed text
and outperforms the state of the art for counting the number of lines in the compressed
text matching the input expression. Optionally, zearch also reports the matching lines.
- HTTP Validator: An input validator for HTTP messages that relies on recognizers for context-free and regular languages.
- DAAD Research Grant for a four-months stay at the Technische Universität München (TUM).
- TACAS 2019 Member of the Artifact Evaluation Committee.