I'm a graduated software engineer and my interests are functional programming, programming languages implementation, type systems, formal verification & web development.
Right now, I'm:
- Studying the Formal Methods in Computer Science MSc @ UCM & UPM.
- Interning as a Research Assistant @ IMDEA Software Institute.
- Contributing to the Ciao Lang Project.
- Continuously learning and building.