Picture of Nathan Fulton
Nathan Fulton, Ph.D.
Research Staff Member
MIT-IBM Watson AI Lab
Email: nathan@ibm.com

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.


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.


I maintain an active interest in undergraduate and high school 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.