My name is Chris Watson and I'm a third year Ph.D. student at the University of Pennsylvania, where I am very fortunate to be advised by Rajeev Alur. I am very interested in (and currently working on!) integrating logical specifications and reinforcement learning to synthesize control policies for long horizon tasks. I also like PL 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. POPL 2023.
Stream Types. Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce. In submission.
CS 4810: Introduction to Theory of Computing. Cornell University. Fall 2019.
CIS 5110: Theory of Computation. University of Pennsylvania. Fall 2022.
CIS 6730: Computer-Aided Verification. University of Pennsylvania. Spring 2023.
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.
ccwatson at seas dot upenn dot edu