Professional Activities
Teaching
Denison's spring 2024 CS402 Functional Programming and CS234 Mathematical Foundations of Computer Science
Denison's fall 2024 CS111 Discovering Computer Science and CS234 Mathematical Foundations of Computer Science
CMU's summer 2022 15-150 Principles of
Functional Programming (mentored by Dilsun Kaynar)
CMU's fall 2021 15-814 Types and Programming
Languages (TAing under Frank Pfenning)
CMU's fall 2019 15-317 Constructive Logic (TAing under Karl Crary)
Service
I am the faculty sponsor for Denison's programming club, which runs
various programming-related activities such as a game jam.
I was a founding member of CMU's CSD PhD Student Council, a student-led organization
devoted to improving social well-being of PhD students. I led
various social space initiatives such as obtaining new furniture for the student lounge.
I served on CMU's Doctoral Review Committee (DRC), a steering and oversight committee for CMU's Computer
Science Department PhD program. While on this committee, I helped develop
and implement the program's new blog-post-based writing skills requirement.
Industrial Experience
In the summer of 2021, I interned at Amazon CodeGuru. There I designed
a prototype permissive type-inference system called TypeWriter.
In the summer of 2018, before starting gradschool, but after undergrad,
I interned at Facebook. There I helped implement the latest version of their
dynamic type for gradual typing.
Review Committees
I have served as a reviewer or subreviewer for various
conferences and journals, including FoSSaCS 2022, POPL AEC 2022,
POPL 2022, MSCS 2021, ESOP 2020.
Research Mentorship
In the summer of 2020 I mentored then-undergrad Myra Dotzel as part of CMU's REU
program. She went on to be a grad student at Carnegie Mellon!