Víctor López Juan

[’bik tor ’lo peθ xwan]^?

I am a statistician with a broad background in computer science and mathematics. I use mathematical models and programming to understand the world around us.

In my free time I enjoy fermented foods, Finnish sauna, light bouldering and board gaming. I like to learn about public policy, finance, biochemistry and linguistics.

I am currently wrapping up my masters thesis project at AstraZeneca. I have in the past done research in theoretical computer science, on the topic of dependently-typed programming.

Recent work

MSc thesis in statistics (2022).
Phd thesis in computer science (manuscript).
Half thesis in computer science (video).
Practical Dependent Type Checking using Twin Types paper.
Video of a tutorial session to programming with dependent types in Agda.