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
Fuwn
Fuwn
Do you have a work opportunity available that intersects with my skill set? Please reach out to me at my email address below!
0x03FF0A
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