Nathan Fulton

Nathan Fulton is a senior research scientist and manager at IBM Research and an expert in large language models, formal verification, and reinforcement learning. Fulton earned a bachelor’s degree from Carthage College in computer science and mathematics, and a PhD 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. He has previously worked as a senior applied scientist at Amazon Web Services and as a research scientist at the MIT-IBM Watson AI Lab.