I am traveling! Drop me a line if you will be in: Orlando for TechXchange, Raleigh for AllThingsOpen, NYC November 10, San Diego Dec 2 - Dec 5, or St. Louis late December.

Nathan Fulton is a 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 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.