Nathan Fulton

  • Joined September 2022

Names

Nathan Fulton (Preferred)

Emails

****@ibm.com (Confirmed)
,
****@nfulton.org (Confirmed)

Education & Career History

Researcher
Amazon (amazon.com)
20212022
 
Research Staff Member
International Business Machines (ibm.com)
20182021
 
Researcher
International Business Machines (ibm.com)
20182020
 
PhD student
Carnegie Mellon University (cmu.edu)
20132018
 
Undergrad student
Carthage College (carthage.edu)
20092013
 
Intern
Washington University, Saint Louis (wustl.edu)
20092009
 

Advisors, Relations & Conflicts

PhD Advisor
20132018
 

Expertise

Program Synthesis
20202022
 
Theorem Proving, Automated Reasoning
20132022
 
Cyber-Physical Systems, Software Safety, Formal Verification
20132022
 
Safe Reinforcement Learning
20132022