About Me

Hi! My name is Tia and I’m an MIT Computer Science PhD student advised by Adam Chlipala 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 include linguistics (spanning pragmatics, semantics, and phonology) and materials science and engineering.

Have We Met? I’ve Been To…