Víctor López Juan

Soy un estadístico con conocimientos de ingeniería informática y matemáticas. Uso modelos y programas estadísticos para ayudar a llevar nuevas tratamientos al mercado.

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.

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