BalinKing
...joined 9 years ago, and has 964 karma
submissions / comments / favourites
4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken.
https://github.com/jgrosso jgrosso256@gmail.com