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).