|
|
| user: | BalinKing | | created: | January 2, 2017 | | karma: | 705 | | about: | 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 | | submissions | | comments | | favorites |
|
