Research Staff Member
Nathan Fulton is a computer scientist in the MIT-IBM Watson AI Lab, where he works on the foundations of safe artificial intelligence. Nathan develops theory, algorithms, and tools for verifying the safety of autonomous physical systems, such as cars and aerial robots. Nathan is a core developer of the KeYmaera X verification tool, which he developed together with other members of the Logical Systems Lab while earning his Ph.D. in Carnegie Mellon University’s Computer Science Department.
Areas of Interest
- Formal methods and verification
- Autonomous cyber-physical systems
- Theorem proving
- Safe machine learning