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