I am a master's student at the University of Washington, where I am advised by Zachary Tatlock and Chandrakana Nandi. Next year, I will begin a PhD at the University of Pennsylvania, supported by the NSF GRFP.
I have had internships in computer science: in a research capacity at Certora and in a software engineering capacity at AT&T and Geneial. I have also worked as a tutor for the Math Study Center, a drop-in tutoring resource for students taking UW's introductory calculus sequence, and as a teaching assistant for UW's undergraduate programming languages course, CSE 341.
Although I have lived in Seattle since 2016, I am originally from Columbia, South Carolina, a city I once heard described as "a hot concrete bowl". I don't disagree with this characterization, but I love it anyway. Outside of school, I listen to loud, weird music and cook an improbable amount. I go by Thia, usually.
(Apr 2024)
I was awarded the NSF Graduate Research Fellowship.
(Oct 2023)
Equality Saturation Theory Exploration à la Carte was accepted at OOPSLA 2023.
(Sep 2023)
I won 1st Place in the undergraduate category at the ICFP 2023 SRC.
(Jun 2023)
I graduated with a BS in Computer Science.
Equality Saturation Theory Exploration à la Carte
Anjali Pal, Brett Saiki, Ryan Tjoa*, Cynthia Richey*, Amy Zhu, Oliver Flatt, Max Willsey, Zachary Tatlock, Chandrakana Nandi
(* denotes equal contribution.)
OOPSLA 2023
What is a Good Ruleset? Comparing Rulesets Using Equality Saturation
Cynthia Richey
ICFP 2023 SRC (1st Place)
