Chris Wagner

Program Synthesis and Repair

I am interested in the automated construction of programs that meet intuitive specifications. Translating meaningful goals directly into programs or program repairs will further our ability to solve more interesting problems in increasingly challenging domains.

Reliable Perception and Control

As computing technology continues to augment human capabilities, there is an increasing need for intelligent, trustworthy, and autonomous reasoning solutions. I am interested in applying formal methods to perception and control models to improve their transparency and reliability.