BalinKing
Joined 10 years ago, with 937 karma
Submissions
Comments
Favorites
Follow via RSS
4th year Ph.D. student at CMU (programming languages and formal verification); ex–software developer.
https://github.com/jgrosso