[‘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.
- Conversion and reduction in dependently-typed calculi – A Survey: Wed. March 9th, 13:15 (Johanneberg, Gothenburg)
- Guaranteed-Correct Programs using Dependent Types: Thu. October 1st, 18:00 (Johanneberg, Gothenburg)
- Introduction for new MSc students: Mon. August 31st, 14:00 (Johanneberg, Gothenburg)
- Master thesis defense: Thu. June 11th, 15:00 (Lindholmen, Gothenburg)