Richard Eisenberg
goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.
@janestreet Philadelphia, PA
Vladimír Štill
vlstill
Compiler developer at @nextsilicon. C++, Haskell, Python, and more. Interested in programming languages design and compilation. Member of the P4.org community.
Czech Republic
Keith Smiley
keith
devx @modularml, maintainer of bazel's iOS support, creator of the Mobile Native Foundation, LLVM & Swift contributor, previously Principal Engineer at Lyft
@ModularML Seattle, WA
Andrew Ferguson
adferguson
Google - Network Infrastructure; formerly, Brown University - Computer Science
Ryan Doenges
hackedy
programming languages, networking, verification
Northeastern University Boston, MA
Andrew Myers
andrewcmyers
Professor of computer science at Cornell University. Works on programming languages and security.
Cornell University Ithaca, NY, USA
Cornelius Diekmann
diekmann
Proving stuff in Isabelle. Computer networks and security.
Munich, Germany