Picture of Nathan Fulton
Nathan Fulton
Ph.D. Student (5th year)
Computer Science Department
Carnegie Mellon University

Office: Gates-Hillman 9219
Email: nathanfu@cs.cmu.edu
News: I will be at the SIGCSE New Educators Workshop this winter. I will also be at AAAI'18 presenting our work applying hybrid systems formal methods techniques to learned control policies. Also, Viren Bajaj presented a nice poster on our approach toward safe SCUBA diving with commodity sensors.

I work in the Logical Systems Lab at Carnegie Mellon, where I develop symbolic techniques for analyzing hybrid dynamical systems. 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 and aircraft equipped with collision avoidance protocols.


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.


I maintain an active interest in undergraduate education and mentoring.