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.