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 Languages' Theory and its relation with parallel computing.
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.
Preliminary version available at arXiv.org
- HTTP Validator: An input validator for HTTP messages that relies on recognizers for context-free and regular languages.