About Me

Hi! My name is Tia and I’m an incoming Computer Science PhD student concentrating in programming languages and logics. I was previously an M.S. student at Cornell University advised by Nate Foster and Ryan Doenges where I worked on verification and proof system design for deductive databases. My research interests include programming language design and verification.

My other academic interests in include linguistics (including pragmatics, semantics, and phonology) and materials science and engineering.