Nathan Fulton, Ph.D.
Senior Applied Scientist
Amazon Web Services
Nathan Fulton is a Senior Applied Scientist at Amazon Web Services.
Nathan earned a Ph.D. from Carnegie Mellon University's Computer Science Department, where he was a member of André Platzer's Logical Systems Lab and a core developer of the KeYmaera X theorem prover for hybrid systems. KeYmaera X demonstrates how formal methods techniques can improve the safety and trustworthiness of autonomous planes, magnetic control systems, and embedded devices.
Prior to joining Amazon, Nathan was a Research Staff Member in MIT-IBM AI Lab, where he worked on theory and tooling for building safe autonomous systems. While at MIT-IBM, Nathan used hybrid systems verification tooling to build verifiable safety guarantees for reinforcement learning algorithms. and collaborated 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. His partner, Abby Pekoske, is an Assistant Research Professor at Worcester Polytechnic Institute (WPI) whee she works in Sarah Olson's research group. Prior to joining WPI, she earned a Ph.D. in Mathematics from the University of Pittsburgh under the supervision of David Swigon.