Mathieu Montin
mmontin
PhD @university of Toulouse.
Agda and Haskell enthusiast.
In charge of Cardano Smart Contracts audits @tweag.
Tweag France
Aarne Ranta
aarneranta
Professor of Computer Science, research on grammar technology (GF and BNFC), teaching also in basic programming to large groups.
University of Gothenburg Gothenburg, Sweden
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
Brendan Zabarauskas
brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨🎨👨💻👨🔬
@yeslogic Melbourne, Australia
Jason Hu
HuStmpHrrr
Applied scientist at AWS;
PhD from McGill University;
MMath from University of Waterloo;
https://gitlab.com/JasonHuZS
AWS Seattle, WA
Javier Díaz
javierdiaz72
I'm passionate about functional programming, mathematical logic, category theory, theorem proving, etc.
La Plata, Argentina
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Massimo Bartoletti
bitbart
I am a computer scientist at the University of Cagliari, Italy
University of Cagliari
Erik de Castro Lopo
erikd
Professional Haskell programmer since May 2016. Coding in Haskell since Jan 2008.
Australia
Marty Stumpf
thealmarty
Software engineer. Loves FP Haskell Coq Agda PLT. Always learning. Prior: Economist. Vegan, WOC in solidarity with POC.
BC, Canada
Jan van Brügge
jvanbruegge
GPG fingerprint: 3513 5CE5 77AD 711F 3825 9A99 3665 72BE 7D6C 78A2
Edinburgh, Scotland
AlgebraicJulia
AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
PreviousNext