User : BalinKing

Created: 1483334942
Karma: 963
4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken.
https://github.com/jgrosso jgrosso256@gmail.com