Christopher Watson

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.


Teaching Assistantships


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.


Chris in a group picture
Spotted at OPLSS picture day

ccwatson at seas dot upenn dot edu