JaredCorduan
Follow
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.
Carnegie Mellon University
Aaron Stump
astump
I am a professor of Computer Science at The University of Iowa.
The University of Iowa Iowa City, Iowa, United States
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
Marcin Szamotulski
coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
@input-output-hk
Ru Horlick
ruhatch
I am a Computer Scientist and Environmental Activist. I want to put our technology in service of life!
UK
Damian Nadales
dnadales
I love to solve problems through software. I love to code solutions in Haskell. I love maintainable, correct, and robust software.
Eindhoven, The Netherlands
William DeMeo
williamdemeo
I'm into formal methods and verification, universal algebra, complexity theory, artificial intelligence and functional programming in Agda, Scala and Spark.
IO @input-output-hk Boulder, CO, USA
JSON Resume
jsonresume
A community driven open source initiative to create a JSON based standard for resumes
Jared Roesch
jroesch
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
OctoML Seattle, Washington
Kirill Simin
kirillsimin
Software Engineer, focusing primarily on Python and JavaScript, with interest in NLP and IoT.
South Carolina, USA
François G. Dorais
fgdorais
Ph.D. Mathematics, Dartmouth College, 2007. Working in Logic, Foundations of Mathematics and Theoretical Computer Science
University of Vermont Burlington, Vermont, USA