4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken.

https://github.com/jgrosso jgrosso256@gmail.com