Alexander Steen
lex-lex
Software developer and researcher in symbolic artificial intelligence, computational logic, and normative reasoning.
University of Greifswald Germany
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
Arman Bilge
armanbilge
Executive Director of Typelevel Foundation. (Distracted) computational evolutionary biologist. I write Scala, read DNA, and speak in conditional probabilitie
@typelevel Seattle, Washington
David Jaz Myers
DavidJaz
A mathematician. Interested in categorical systems theory, modal type theory, and what it means to be a "thing".
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Guillaume Martres
smarter
Long-time core developer of the Scala 3 compiler. Member of the Scala Improvement Process committee.
Arteris / Scala Center Lausanne, Switzerland