Picture of Nathan Fulton

Nathan Fulton, Ph.D.

nathan@nfulton.org (personal)

Nathan Fulton is a computer scientist specializing in formal methods and artificial intelligence. 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 magnetic control systems and embedded devices.


Nathan lead the development of safe reinforcement learning at the MIT-IBM AI Lab and was a science lead for Amazon CodeWhisperer, one of AWS's first LLM-based products to reach GA.