Peiyang Song
Peiyang-Song
CS Undergrad @ Caltech. AI Researcher @ Stanford.
California Institute of Technology Pasadena, CA, United States of America
Henry Blanchette
rybla
programming languages, formal verification, functional programming, game theory.
CS PhD student at UMD UMD
Armin Moin
arminmoin
Professor at the University of Colorado
University of Colorado Colorado Springs (UCCS) United States