kavon
Follow
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Brian Drelling
bdrelling
I make apps, games, and music. The trick is never sleeping. He/Him.
Chicago, IL
Konrad `ktoso` Malawski
ktoso
Concurrency & Distributed systems in Swift @ ; ex: Akka | Reactive Streams
We sell fruit. ¯\_(ツ)_/¯ I'm fine, thanks! Tokyo
Matt Godbolt
mattgodbolt
Compiler Explorer and jsbeeb creator, ex-Google, ex-games, now trading chap.
Aquatic Capital Management Chicago, IL
Andrew McNutt
mcnuttandrew
(Visualization | HCI) (person | engineer | researcher | prof).
Utah Salt Town
Philip Wadler
wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.
University of Edinburgh Edinburgh
Cyrus Omar
cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist
University of Michigan Ann Arbor, MI
Brian Hempel
brianhempel
Postdoc at USCD, looking to merge end-user programming and operating systems. Sometimes distracted by tornadoes.
University of California San Diego
Norman Ramsey
nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.
Tufts University Malden, Mass, USA
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Robert Harper
RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon University Pittsburgh PA
Matthew Fluet
MatthewFluet
Associate Professor;
Dept. of Computer Science;
Rochester Institute of Technology
Rochester Institute of Technology Rochester, NY
Nick Molo
nickmolo
I design satellite hardware at Spire Global, based out of Glasgow.
San Francisco, CA
Shawn Shojaie
ngtvspc
Formerly at NetApp, Intel, and @SimpleLegal. Currently Senior Engineer at @appomni
@SimpleLegal Silly Valley, CA
