My name is Chris Watson and I'm a second year Ph.D. student at the University of Pennsylvania, where I am very fortunate to be advised by Rajeev Alur. My research interests include programming languages, logics, and automata theory. I am a proud member of Penn's PLClub.
A Robust Theory of Series-Parallel Graphs. Rajeev Alur, Caleb Stanford, and Christopher Watson. In submission.
CS 4810: Introduction to Theory of Computing. Cornell University. Fall 2019.
CIS 5110: Theory of Computation. University of Pennsylvania. Fall 2022.
I've had the pleasure of being a student volunteer at POPL'22 and CCC'22, and of being a student at SSFT'22 and OPLSS'22.