Attend our half-day Foundations of Safe Learning workshop on the morning of Friday, September 20, 2019 at MIT. Registration is free but required for attendance.
I am a research staff member in the newly formed MIT-IBM Watson AI Lab, where I work on building the foundations of safe artificial intelligence. During my Ph.D., I developed 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.