Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Eric Giovannini
ericgiovannini
PhD student in Computer Science and Engineering at the University of Michigan. Interested in Programming Language theory.
Ann Arbor, MI
Daniel Patterson
dbp
teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.
Northeastern University Boston, MA
Martin Escardo
martinescardo
Professor of Theoretical Computer Science
University of Birmingham United Kingdom
Jake Bian
jakebian
Runs @keplr-io, @otim-project. Likes algebraic stacks but sometimes stuck with software stacks.
London, UK
PreviousNext