| user: | BalinKing |
| created: | 2/1/2017 |
| karma: | 964 |
| about: | 4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken. https://github.com/jgrosso jgrosso256@gmail.com |
| user: | BalinKing |
| created: | 2/1/2017 |
| karma: | 964 |
| about: | 4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken. https://github.com/jgrosso jgrosso256@gmail.com |