Nathan Fulton (Preferred)
Nathan Fulton
- Joined September 2022
Names
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
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