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, machine perception, and reinforcement learning to synthesize control policies for long horizon tasks.
I am a proud member of Penn's PLClub and the ASSET center (where I was recently featured in an article that describes our goal of safe, explainable, and trustworthy AI!). I also collaborate with Dinesh Jayaraman's Perception, Action & Learning Group.
A Robust Theory of Series-Parallel Graphs. Rajeev Alur, Caleb Stanford, and Christopher Watson. POPL 2023.
Stream Types. Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce. PLDI 2024.
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