John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Emery Berger
emeryberger
Professor of Computer Science, UMass Amherst; Amazon Scholar. Co-director of @plasma-umass, Scalene, Slipcover, Coz, Hoard, and more. Creator of CSrankings.
University of Massachusetts Amherst Amherst, MA
Rishiyur S. Nikhil
rsnikhil
Hardware design: mostly RISC-V, mostly using Bluespec BSV.
Also Haskell, RISC-V Formal Specifications, tutorials.
Bluespec, Inc. Framingham, MA, USA
Marijn Haverbeke
marijnh
Independent open-source programmer person
not interested in recruiter mail Berlin
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
Tom Preston-Werner
mojombo
@chatterbugapp, @redwoodjs, @preston-werner-ventures San Francisco