TOTBWF
Follow
Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Chris Penner
ChrisPenner
Writing software to improve the experience of writing software.
Author of Optics By Example
Unison Computing Victoria BC, CA
Shae Erisson
shapr
Haskell, Python, Swedish, knitting, mountain unicycling, contact juggling
@magic-cap Medford, MA, USA
