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
- ATVA 2017: A Language-theoretic View on Network Protocols with Pierre Ganty and Boris Köpf.
Extended version available at arXiv.org
- 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).