William DeMeo
williamdemeo
Universal algebraist, complexity theorist, formal methodologist, AI alchemist and total functional programmer (Agda, Lean, Python, Scala, Spark).
IO @input-output-hk Boulder, CO, USA
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
James Chapman
jmchapman
Free the group. Nuke the kernel. Power to the n.
@input-output-hk Glasgow, UK
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Joey Eremondi
JoeyEremondi
Assistant Prof. at the University of Regina. Interested in programming languages, dependent types, Agda, Idris, Lean, etc.
University of Regina Regina, Saskatchewan, Canada
Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
Alejandro Serrano
serras
Engineer, functional programming passionate, author of 'FP for the Curious Kotliner', 'Haskell (Almost) Std. Libs.', 'Book of Monads', and 'Practical Haskell'
@JetBrains Utrecht, Netherlands
Anton Ekblad
valderman
Functional programmer, computer science PhD, magical girl.
@koditoriet Gothenburg, Sweden