I taught CMU's 2022 summer session of 15-150 Principles of
Functional Programming, mentored by Dilsun Kaynar.
In fall 2021 I TAed 15-814, the intro graduate course Types and Programming
Languages, under Frank Pfenning.
In fall 2019 I TAed 15-317 Constructive Logic under Karl Crary.
I served on the 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.
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.
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.
In the summer of 2020 I mentored then-undergrad Myra Dotzel as part of the REU program. Now she is a fellow grad student at Carnegie Mellon!