Víctor López Juan

Estudié matemáticas y informática en la UAM. Actualmente realizo un doctorado en Chalmers enfocado a la implementación práctica de la teoría de tipos dependientes. Me interesa la aplicación de las matemáticas al diseño de lenguajes de programación, sin dejar de lado cuestiones de ingeniería.

Cuando no programo disfruto de juegos de mesa, comida fermentada y viajes. Me gusta hablar de lenguajes hablados, política pública, finanzas y (bio)química.