I like type theory and functional programming languages
- San Francisco
Block or Report
Block or report mmcqd
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Harrison Grodin
HarrisonGrodin
PhD Student in PL @ CMU CSD
Carnegie Mellon University Pittsburgh, PA
Ishan Bhargava
ishantheperson
Carnegie Mellon University - School of Computer Science
Carnegie Mellon University
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
ENS Rennes, Saarland University, CISPA Saarbrücken