nrfulton Goto Github PK

Hi, I'm Nathan Fulton!

I am a Senior Applied Scientist at Amazon Web Services where I work on CodeWhisperer, an ML-powered coding companion.

I earned a Ph.D. from Carnegie Mellon University's Computer Science Department, where I was a member of André Platzer's Logical Systems Lab and a core developer of the KeYmaera X theorem prover for hybrid systems. KeYmaera X demonstrates how formal methods techniques can improve the safety and trustworthiness of autonomous planes, magnetic control systems, and embedded devices.

Prior to joining Amazon, I was a Research Staff Member in MIT-IBM AI Lab, where I worked on theory and tooling for building safe autonomous systems. While at MIT-IBM, I used hybrid systems verification tooling to build verifiable safety guarantees for reinforcement learning algorithms. and collaborated with researchers at MIT and IBM on theory and tooling for other types of neural-symbolic systems.