Next

I am currently in the middle of several probjects, but I would like to continue this hobby in the school year. If you are a close friend in the Providence area, I am happy to organize an art night with you!

One of my New Year's Resolutions was to 'send a V4. I landed my first V3 on 7/5/24 and my first V4 on 7/14/24. Let's see if this is repeatable...

I plan to take "Computer Networks" (CSCI 1680) one of "Compilers and Program Analysis" (CSCI 1260), "Design and Analysis of Algorithms" (CSCI 1570), "Theory of Computation" (CSCI 1010), and "Programming Languages" (CSCI 1730), and two other for-fun courses. I am prioritizing doing Networks in Rust, so I have to be careful about my course load.

Cooking something up, please stay tuned.

Last semester I spent almost all of my time studing in the Sunlab in the CIT. Next semester, I will be there again—working as a Sunlab consultant.

I will be TA'ing for Formal Proof and Verification in Fall 2024! This will be my first time TA'ing a course, so I'm a little bit nervous.