Nathan Fulton, Ph.D.
nathan@nfulton.org (personal)
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 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 AI Lab.