Naïm Camille Favier
ncfavier
aka ncf. PhD student working on cubical type theory.
Chalmers University of Technology Sweden
Daniel Smania
SmaniaD
I am a Full Professor of the Department of Mathematics at ICMC–USP, Brazil. I am an amateur programmer, coding mostly for fun in C, C++, JavaScript and Python.
Universidade de Sao Paulo Sao Carlos-SP, Brazil
Protesilaos Stavrou
protesilaos
At what point does a tinkerer become a programmer, provided no formal background in the latter?
Cyprus, European Union
Nuances USP
Nuances-USP
Nuances is a collective of queer people/students of University of São Paulo - São Carlos
Brazil
Giacomo Cavalieri
giacomocavalieri
I love functional programming and learning new things ✨
@gleam-lang core team member 💕
Italy
Rithya Kunnawalkam Elayavalli
rkunnawa
Assistant Professor of Physics at Vanderbilt University
Vanderbilt University Nashville, TN
Violeta Hernández
vihdzp
Fourth year math student at the University of Guanajuato. Also likes programming mathy stuff.
Guanajuato, Mexico
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Valeria de Paiva
vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.
@ToposInstitute Cupertino, CA
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden