Mathematician working in applied topos theory. Also interested in functional programming.
-
University of Padova
- Augsburg, Germany
- https://www.ingo-blechschmidt.eu/
David Jaz Myers
DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Jake Bian
jakebian
Runs @keplr-io, @otim-project. Likes algebraic stacks but sometimes stuck with software stacks.
London, UK
Emily Eisenberg
xymostech
Former Full-stack Dev @ Spring Discovery + Cricket Health + Khan Academy,
Former Cupcake Baker,
Occasionally hacking on TeX and other stuff
Berkeley
Jakob Löw
M4GNV5
Part time IT-Security Researcher — Full time Hacker — Any time Innovator — Twizy driver — Tiny House resident
Germany
Ara Adkins
iamrecursion
Compilers, type-theory, runtimes, formal verification, cryptography. Mixing, mastering and music. Skiing, parkour, martial arts.
CTO & CFO @tactile-metrology, Principal Engineer @reilabs Denver, CO, USA
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Wen Kokke
wenkokke
tries to walk the line between programming languages ~~and ai~~ | good job, y'all ruined ai
Scotland
Paula Neeley
paulaneeley
Ph.D. student in Logic, Computation, and Methodology at
Carnegie Mellon University
Pittsburgh, PA
Karolin Varner
koraa
https://twitter.com/dakoraa
Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto Europa, Saturn System, The Universe
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
PreviousNext