[‘bik tor ‘lo peθ ‘xwan]?
I graduated in mathematics and computer science/engineering in Madrid. I’m pursuing a PhD at Chalmers with a focus on the practical implementation of dependent type theory. My research interests revolve around applying mathematics to programming language design, while keeping engineering issues in mind.
When not coding I enjoy boardgaming, fermented foods and travelling. Side interests include human languages, public policy, finance and (bio)chemistry.
- Dependent Type-Checking with Twin Types: Wed. December 13th (Johanneberg, Gothenburg)
- Conversion and reduction in dependently-typed calculi – A Survey: Wed. March 9th (Johanneberg, Gothenburg)