|
|
|
user: BalinKing
created: 2017-01-02
karma: 854
Third-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
submissions:
|
|