Nathan Fulton is a manager at IBM Resarch 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 Ph.D. from Carnegie Mellon University's Computer Science Department where he was a member of André Platzer's gate io 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 AI Lab.