My commit history

01.29.24. After a nice chat with Dr. Alwyn Goodloe, I’m going to start working with the Langley Formal Methods research program at NASA to formally verify network protocols!

01.20.24. Just finished providing AV support for POPL’24. We put in a lot of effort into this one, you can check out the talks here.

01.18.24. I’m TAing Cornell’s undergrad PL course, my first time ever TAing a course ☺.

01.01.24. Push my first commit.