Christopher Watson

My name is Chris Watson and I'm a fourth 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. During Summer 2024, I interned at the NASA Ames research center, where I started collaborating with Corina Pasareanu and Divya Gopinath. We are working on the (very interesting!) problem of getting system-level safety guarantees for autonomous systems that use high-dimensional perception.

Papers

Teaching Assistantships

Activities

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

Chris in a group picture
Image of Chris (cropped from a group photo)

ccwatson at seas dot upenn dot edu