BalinKing

Karma: 656

Joined: 超过 8 年前

ID: BalinKing

About

Second-year Ph.D. student at CMU, working on programming languages and formal verification; CS undergrad at Caltech (BS '23, Venerable); ex-professional software developer.

https://github.com/jgrosso

Submissions

Visit submission history to see stories and comments by BalinKing.