Links to other places on the internet
My academic collaborators, mentors, students, and friends
- Frank Piessens
- Dominique Devriese
- Andreas Abel
- Ulf Norell
- Nils Anders Danielsson
- Andrea Vezzosi
- Victor López Juan
- Christian Sattler
- Anders Mörtberg
- Peter Dybjer
- Nicolas Tabareau
- Théo Winterhalter
- Eelco Visser
- Casper Bach Poulsen
- Arjen Rouvoet
- Cas van der Rest
- Philip Wadler
- James Chapman
- Guillaume Allais
- Guillaume Brunerie
- Richard Eisenberg
- Andreas Nuyts
- John Leo
- Artem Shinkarov
- Tesla Ice Zhang
- Ayberk Tosun
- Thomas Winant
Computer science blogs
- The Homotopy Type Theory blog
- The Type Theory Podcast
- Pigworker in a space
- Wadler’s blog
- Mathematics and Computation
- Types and Kinds
- Twan van Laarhoven’s blog
- Inside 245-5D
- Effectfully
- Osa1
- Ralf’s Ramblings
- Mazzo.li
- Shtetl-Optimized
- Mathy Van Hoef’s blog