Nathan Fulton (Preferred)
Nathan Fulton
Joined
September 2022
Names
Emails
****@ibm.com (Confirmed)
****@nfulton.org (Confirmed)
Personal Links
Career & Education 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
Publications
Co-Authors
- André Platzer
- Arash Farahani
- Armando Solar-Lezama
- Avraham Shinnar
- Baishakhi Ray
- Barry M. Trager
- Ben Athiwaratkun
- Bing Xiang
- Cyrus Omar
- Dan Roth
- Daniel Melcer
- Haifeng Qian
- Hantian Ding
- Jan-David Quesel
- Jessie C. Rosenberg
- Jian Xiang
- Jonathan Aldrich
- Karim Elmaaroufi
- Koundinya Vajjha
- Marcus Völp
- May Wu
- Ming Tan
- Mingyue Shang
- Murali Krishna Ramanathan
- Nathan Hunt