Nathan Fulton, Ph.D.
Research Staff Member
NEWS: Our work on safe end-to-end RL has won the Best Paper Award at HSCC.
Nathan was a core developer of the KeYmaera X theorem prover for hybrid systems, which he developed together with other members of the Logical Systems Lab while earning his 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 planes, magnetic control systems, and embedded devices. Nathan also uses hybrid systems verification tooling to build verifiable safety guarantees for reinforcement learning algorithms. He also collaborates with researchers at MIT and IBM on theory and tooling for other types of neural-symbolic systems.
Nathan maintains an active interest in undergraduate and high school education and mentoring. He is married to Dr. Abby Pekoske, who is joining the Matheamtics department at Worcester Polytechnic Institute as a Research Assistant Professor this fall. She earned a Ph.D. from the Mathematics department at the University of Pittsburgh, where she studied the dynamics of DNA knots and links with David Swigon.