User: BalinKing

Created: 3591 days ago
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