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

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

Recomendaciones

• Politikon: Blog sobre sociedad y políticas públicas en España y EEUU.
• In the Pipeline (eng): Actualidad sobre medicamentos en ensayo clínico.
• Matt Levine (eng): Columna entretenida sobre el funcionamiento del mercado de valores.
• 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.