User: BalinKing
Created: 1/2/2017, 5:29:02 AM
Karma: 502
Second-year Ph.D. student at CMU, working on programming languages and formal verification; CS undergrad at Caltech (BS '23, Venerable); ex-professional software developer.
https://github.com/jgrosso