BalinKing
...joined 9 years ago, and has 936 karma
submissions / comments / favourites
4th year Ph.D. student at CMU (programming languages and formal verification); ex–software developer.
https://github.com/jgrosso
...joined 9 years ago, and has 936 karma
submissions / comments / favourites
4th year Ph.D. student at CMU (programming languages and formal verification); ex–software developer.
https://github.com/jgrosso