Víctor López Juan

Soy un aspirante a estadístico con conocimientos de ingeniería informática y matemáticas. Me gusta aplicar las matemáticas y la programación para mejorar un poquito la vida de la gente.

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, farmacología y linguística.

Ahora trabajo en mi tésis doctoral en ciencias de la computación sobre la programación con tipos dependientes.

Mira

• Una introducción a la programación con tipos dependientes (eng).
• La presentación de mi media tésis sobre unificación en teoría de tipos dependientes (eng).

Recomendaciones

• Politikon: Blog sobre sociedad y políticas públicas en España y EEUU.
• Matt Levine (eng): Columna entretenida sobre el funcionamiento del mercado de valores.
• In the Pipeline (eng): Actualidad sobre medicamentos en ensayo clínico.
• Existential comics (eng): Cómic web sobre filosofía.
• 3Blue1Brown (eng): Vídeos de divulgación matemática deliciosamente animados.
• bouletcorp (fra): Webcomic autobiográfico.