Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Robbert Krebbers
robbertkrebbers
Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris
Radboud University Nijmegen
David Teller
Yoric
Jack of all Threads, PL guy.
Hey, recruiters, thank you for your interest. Please read this before pinging me: https://yoric.github.io/about/ .
@matrix-org Paris, France
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust.
Imandra (@imandra-ai) washington DC
Jason Gross
JasonGross
Machine Intelligence Research Institute Berkeley, California, United States
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
@Sourcegraph Germany
Daniel P. Brice
friedbrice
Haskell and Typescript. Occasional Math and CS Lecturer.
San Francisco, California
Herbert Valerio Riedel
hvr
@haskell Vienna, Austria, Europe, Earth, Solar System, Milky Way, ...
John Wiegley
jwiegley
Haskell & Coq programmer, Emacs devotee, Nix user, and member of the Bahá‘í Faith.
@kadena-io California, USA
Michael Snoyman
snoyberg
Haskell and Rust, founder and maintainer of many OSS Haskell projects: Yesod, Conduit, Stack, Stackages, and more. VP of Engineering at FP Complete (@fpco)
@fpco Israel
Murat Kasimov
iokasimov
I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
เชียงใหม่
Tej Chajed
tchajed
Professor at UW-Madison. I write software and prove that it does what it's supposed to.
UW-Madison Madison, WI
PreviousNext