Víctor López Juan
[’bik tor ’lo peθ xwan]?

I am an aspiring statistician with a broad background in computer science and mathematics. I enjoy using mathematics and programming to (marginally) improve people’s lives.
In my free time I enjoy fermented foods, Finnish sauna, light bouldering and board gaming. I like to learn about public policy, finance, pharmacology and linguistics.
I am currently working on my PhD thesis in computer science, on the topic of dependently-typed programming.
Check this out
- An introduction to programming with dependent types which I gave in the funcional programming meet-up.
- The presentation of my licentiate thesis in unification for dependent-type checking.
Suggested reads
- Matt Levine: Sober comentary on the workings of the stock market.
- In the Pipeline: Current news about drugs undergoing clinical trials.
- Existential comics: Philosophy web comics.
- Politikon (spa): Blog about Spanish, American and international public policy.
- 3Blue1Brown: Gorgeously animated mathematics videos.
- bouletcorp (fra): Autobiographical webcomic.