I will be at IBM TechXchange Dev Day: Georgia Tech. If you're in Atlanta and want to talk about LLMs, or Formal Methods/Verification, or programming languages, or especially Generative Programming with Mellea, drop me a line! nathan@nfulton.org.

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.