Git Product home page Git Product logo

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.

Nathan Fulton's Projects

ace icon ace

The Ace programming language.

airsim icon airsim

Open source simulator for autonomous vehicles built on Unreal Engine / Unity, from Microsoft AI & Research

binscript icon binscript

My hack for replicating config files and ~/bin

blog icon blog

Some notes on things I find interesting and important.

clustering.pl icon clustering.pl

A Perl framework for implementing, visualizing, and evaluating clustering algorithms.

headerutil icon headerutil

A simple utility for Scala source release workflows.

hyst icon hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

isrbeamer icon isrbeamer

Unofficial beamer poster style for the Institute for Software Research

keymaerax-release icon keymaerax-release

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

oldschoollamp icon oldschoollamp

Dockerfile for an old-school LAMP stack (PHP 5.6, MySQL 5.7.31)

pittdoggos icon pittdoggos

Python script for Allegheny County Dog Registration Data

ttvoice icon ttvoice

Pulls TrueTime info from Port Authority's web app and produces text that can be spoken.

verbatimparser icon verbatimparser

Attempts to extract structured documents from debate files using the Verbatim template.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.