Picture of Nathan Fulton at Lake Michigan, Summer 2013
Nathan Fulton
Ph.D. Student (4th year)
Computer Science Department
Carnegie Mellon University

Office: Gates-Hillman 9219
Email: nathanfu@cs.cmu.edu


I am a Ph.D. student in André Platzer's Logical Systems Lab at Carnegie Mellon, where I work on symbolic techniques for analyizing 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 currently collaborating on the development of a theorem prover and software verification tool for cyber-physical systems called KeYmaera X. In the past, I have also worked on programming languages with extensible type systems and fine-grained version control.

Stefan Mitsch, Andre Platzer and I will be presenting a tutorial on KeYmaera X at Formal Methods 2016. If you are attending FM, consider attending the tutorial!