oisdk
Follow
John Regehr
regehr
CS professor at the University of Utah
University of Utah Salt Lake City, UT, USA
Keiko Nakata
keikonakata
Programming, constructive mathematics and topology, which are all beautifully related.
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
finch
plaidfinch
founder & director @starlingcyber; previously: founding core eng. @penumbra-zone, senior eng. @boltlabs-inc, researcher @GaloisInc, ABD PhD in PL @ UPenn
@starlingcyber
Phil Freeman
paf31
Original developer of the PureScript compiler, author of http:https://leanpub.com/purescript, Haskeller, PLT enthusiast.
Los Angeles, CA
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
Dominic Orchard
dorchard
Senior Lecturer at the School of Computing,
University of Kent
and
Co-director of Institute of Computing for Climate Science,
University of Cambridge
Canterbury, UK
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
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
Brent Yorgey
byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.
Hendrix College Conway, AR, USA
PreviousNext