Nathan Fulton

  • Joined September 2022

Names

Nathan Fulton (Preferred)

Emails

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

Personal Links

Education & Career History

Researcher
Amazon (amazon.com)
2021 – 2022
 
Research Staff Member
International Business Machines (ibm.com)
2018 – 2021
 
Researcher
International Business Machines (ibm.com)
2018 – 2020
 
PhD student
Carnegie Mellon University (cmu.edu)
2013 – 2018
 
Undergrad student
Carthage College (carthage.edu)
2009 – 2013
 
Intern
Washington University, Saint Louis (wustl.edu)
2009 – 2009
 

Advisors, Relations & Conflicts

PhD Advisor
2013 – 2018
 

Expertise

Program Synthesis
2020 – 2022
 
Theorem Proving, Automated Reasoning
2013 – 2022
 
Cyber-Physical Systems, Software Safety, Formal Verification
2013 – 2022
 
Safe Reinforcement Learning
2013 – 2022