Erik Post
epost
lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
@statebox Amsterdam
David Jaz Myers
DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Evan Hubinger
evhub
Alignment Stress-Testing Team Lead @anthropics. Previously: @machine-intelligence, @openai, @google, @Yelp, @ripple.
Anthropic San Francisco, California
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Matthijs Vákár
VMatthijs
Assistant professor in CS, working on probabilistic and differential programming, programming language semantics
Utrecht University Utrecht, the Netherlands
Bruno Gavranović
bgavran
Principal Scientist - Categorical Deep Learning @symbolica-ai
Symbolica London, United Kingdom
Matteo Capucci
mattecapu
PhD student at University of Strathclyde.
Applied Category Theory + ε.
Retired web dev.
Glasgow, UK
Phil Hagelberg
technomancy
https://github.com/technomancy?utm_content=site-enterprise-button&utm_source=corporate-monopoly&utm_medium=website&utm_campaign=stop-using-github-geez
USA
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
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Christopher Olah
colah
I want to understand things clearly and explain them well. @openai formerly @brain-research.
San Francisco