• Sign in
  • Sign up
conf.researchr.org / Nathan Fulton
  • ETAPS 2019 profile
  • POPL 2016 profile
  • SPLASH 2012 profile
Nathan Fulton

Registered user since Wed 30 Jan 2019

Name:Nathan Fulton
Country:United States
Affiliation:MIT-IBM Watson AI Lab
Personal website: http://nfulton.org/

Contributions

2019

ETAPS

  • Author of Verifiably Safe Off-Model Reinforcement Learning within the Posters-track

InterAVT

  • Author of Invited Talk - "End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges" within the InterAVT-track

TACAS

  • Author of Verifiably Safe Off-Model Reinforcement Learning within the TACAS 2019-track

2016

CPP

  • Author of A Logic of Proofs for Differential Dynamic Logic within the CPP-track

2012

SPLASH

  • Author of Security through extensible type systems within the ACM Student Research Competition-track
Share
xThu 22 May 03:00
using conf.researchr.org (v1.69.0)
Support page
Sign Up