I work in the Logical Systems Lab at Carnegie Mellon, where I develop symbolic techniques for analyzing hybrid dynamical systems. One application of research in this area is the development of tools and techniques for designing highly trustworthy cyber-physical systems, such as autonomous vehicles and aircraft equipped with collision avoidance protocols.
I am currently collaborating on the development of a theorem prover and software verification tool for cyber-physical systems called KeYmaera X. 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 education and mentoring.
I am married to Abby Pekoske, who is currently a Ph.D. student in the Mathematics department at the University of Pittsburgh.