Víctor López Juan

[‘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.