Nathan Fulton  Nathan Fulton photo         

contact information

Research Staff Member
MIT-IBM Watson AI Lab, Cambridge, MA USA



I am a research staff member in the MIT-IBM Watson AI Lab, where I focus on safe AI. One application of research in this area is the development of tools and techniques for designing highly trustworthy cyber-physical systems, such as autonomous vehicles that use machine learning for perception and control.

I am a core developer of the KeYmaera X theorem prover for hybrid systems. I also work on related tools and techniques for establishing safety properties for cyber-physical systems that contain machine learning components. In the past, I have also worked on programming languages with extensible type systems and fine-grained version control.

More information about my research can be found on my personal website.