Skip to content
View nrfulton's full-sized avatar

Highlights

  • Pro

Organizations

@LS-Lab

Block or report nrfulton

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nrfulton/README.md

Hi, I'm Nathan Fulton!

Professional Bio

I am a Senior Applied Scientist at Amazon Web Services where I work on CodeWhisperer, an ML-powered coding companion.

I earned a Ph.D. from Carnegie Mellon University's Computer Science Department, where I was a member of André Platzer's Logical Systems Lab and a core developer of the KeYmaera X theorem prover for hybrid systems. KeYmaera X demonstrates how formal methods techniques can improve the safety and trustworthiness of autonomous planes, magnetic control systems, and embedded devices.

Prior to joining Amazon, I was a Research Staff Member in MIT-IBM AI Lab, where I worked on theory and tooling for building safe autonomous systems. While at MIT-IBM, I used hybrid systems verification tooling to build verifiable safety guarantees for reinforcement learning algorithms. and collaborated with researchers at MIT and IBM on theory and tooling for other types of neural-symbolic systems.

Pinned Loading

  1. LS-Lab/KeYmaeraX-release LS-Lab/KeYmaeraX-release Public

    KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

    Scala 76 38

  2. IBM/vsrl-framework IBM/vsrl-framework Public archive

    The Verifiably Safe Reinforcement Learning Framework

    Python 56 12

  3. LS-Lab/KeYmaeraX-projects LS-Lab/KeYmaeraX-projects Public

    Projects, models, and proofs in KeYmaera X

    Shell 5 8

  4. IBM/FormalML IBM/FormalML Public

    Formalization of Machine Learning Theory with Applications to Program Synthesis

    Coq 65 17

  5. scuba-release scuba-release Public

    Formal verification of a SCUBA ascent protocol.

    1 1