Víctor López Juan

Soy un estadístico con conocimientos de ingeniería informática y matemáticas. Me gusta aplicar las matemáticas y la programación para comprender y mejorar el mundo que nos rodea.
En mi tiempo libre disfruto de caerme en el rocódromo, los juegos de mesa, la comida fermentada y la sauna finlandesa. Me gusta aprender sobre políticas públicas, finanzas, bioquímica y linguística.
En la actualidad realizo un proyecto de tésis de máster en AstraZeneca. En el pasado he hecho investigación en ciencias de la computación sobre la programación con tipos dependientes.
Proyectos recientes
- Trabajo fin de máster en estadística (en inglés).
- Tésis doctoral en ciencias de la computación (texto en inglés)
- Presentación de mi media tésis (video en inglés).
- Comprobación práctica de tipos dependientes usando tipos gemelos (artículo en inglés).
- Una introducción a la programación con tipos dependientes (video en inglés).