Data infra team

Member of Sebastian Zimmeck's privacy lab.

Fixed bug preventing Global Privacy Control web crawler from collecting Firefox tracker information that had not been solved for months, earning A+ in Information Security and Privacy within 24 hours of the first class.

Dockerized the web crawler for easier packaging and improved tooling around it for streamlined use for lab members.

working on senior thesis with professors Dan Licata and Robert Rose to apply encode decode technique to various directed higher inductive types in simplicial homotopy type theory.

summer 2024

COMP 321: Design of Programming Languages

head ta. graded homeworks, ran help sessions, and deciphered Pierce's types and programming languages to students.

deciphered problems, communicated ideas, and illuminated intuition and problem-solving approaches to people taking a range of math classes from calc 1 to abstract algebra