Skip to content

Latest commit

 

History

History
30 lines (25 loc) · 741 Bytes

commits.md

File metadata and controls

30 lines (25 loc) · 741 Bytes
layout post
default
./_includes/publication.html

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](https://www.youtube.com/@acmsigplan). 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.