Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
user:BalinKing
created:January 2, 2017
karma:884
about:4th year Ph.D. student at CMU (programming languages and formal verification); ex-professional software developer.

https://github.com/jgrosso

submissions
comments
favorites