I am a research staff member in the newly formed MIT-IBM Watson AI Lab, where I work on building the foundations of safe, robust, trustworthy, and secure artificial intelligence. Most of my work so far focuses on developing tools and techniques for designing safe autonomous physical systems, such as autonomous vehicles that use machine learning for perception and control.
I was a core developer of the KeYmaera X theorem prover for hybrid systems, which I developed together with other members of the Logical Systems Lab while earning my Ph.D. in Carnegie Mellon University's Computer Science Department. KeYmaera X demonstrates how formal methods techniques can improve the safety and trustworthiness of autonomous cars, trains, and planes. In the past, I have also worked on programming languages with extensible type systems and fine-grained version control.
I maintain an active interest in undergraduate and high school education and mentoring, which I first developed while completing my bachelors degree in Computer Science and Mathematics at Carthage College.
I am married to Abby Pekoske, who is currently a Ph.D. student in the Mathematics department at the University of Pittsburgh.