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. Nathan earned bachelors 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.