Aug 2023 - Present
AeroLeads people directory · profile
Nathan Fulton Email & Phone Number
Computer Scientist and avid programmer. Things I enjoy working on: Formal Methods, Reinforcement Learning, LLMs, Program Synthesis, Controller Synthesis, Model Synthesis, Safety for Control Systems.
at
IBM
1 work email found
@cs.cmu.edu
LinkedIn matched
✓ Verified May 2026
4 data sources
Profile completeness 86%
Current company
Role
Computer Scientist and avid programmer. Things I enjoy working on: Formal Methods, Reinforcement Learning, LLMs, Program Synthesis, Controller Synthesis, Model Synthesis, Safety for Control Systems.
Location
Cambridge, Massachusetts, United States
Who is Nathan Fulton? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Nathan Fulton is listed as Computer Scientist and avid programmer. Things I enjoy working on: Formal Methods, Reinforcement Learning, LLMs, Program Synthesis, Controller Synthesis, Model Synthesis, Safety for Control Systems. at IBM, based in Cambridge, Massachusetts, United States. AeroLeads shows a work email signal at cs.cmu.edu and a matched LinkedIn profile for Nathan Fulton.
Nathan Fulton previously worked as Manager at Ibm and Senior Applied Scientist at Amazon Web Services (Aws). Nathan Fulton holds Doctor Of Philosophy - Phd, Computer Science from Carnegie Mellon University.
Company email context
Email format at IBM
This section adds company-level context without repeating Nathan Fulton's masked contact details.
*@cs.cmu.edu
68% confidence
AeroLeads found 1 current-domain work email signal for Nathan Fulton. Compare company email patterns before reaching out.
Profile bio
About Nathan Fulton
Computer scientist specializing in verifiably safe autonomous systems. Core developer of the KeYmaera X theorem prover for hybrid systems. See https://nfulton.org
Current workplace
Nathan Fulton's current company
Company context helps verify the profile and gives searchers a useful next step.
10 roles
Nathan Fulton work experience
A career timeline built from the work history available for this profile.
Senior Applied Scientist
At AWS, I was a Science Lead working on the Amazon CodeWhisperer (now called Amazon Q Developer), which was AWS's first generative AI product release. I worked on CodeWhisperer from pre-alpha through General Availability.
Sep 2021 - Sep 2023
Research Staff Member, Ai Learning
Mit-Ibm Watson Ai Lab
As a Principal Investigator in the MIT-IBM Artificial Intelligence Laboratory, I lead multiple projects that leveraged programming languages and formal methods to build reinforcement learning systems with strong safety and security guarantees.
Nov 2018 - Oct 2021
Research Assistant
I worked in the Logical Systems Lab on development and application of the KeYmaera X theorem prover. I published papers, designed software, contributed to grant writing, served as a TA in introductory and upper-level courses, and mentored undergraduates and masters students.
Sep 2013 - Nov 2018
Visiting Researcher
Jun 2014 - Aug 2014
Bioinformatics Intern At The Genome Institute
Jun 2013 - Aug 2013
Research Intern
Jun 2012 - Aug 2012
Undergraduate Researcher
Jun 2011 - Aug 2011
Laboratory Information Management Systems Intern
Jun 2010 - Aug 2010
Laboratory Information Management Systems Intern
Jun 2009 - Aug 2009
2 education records
Nathan Fulton education
Doctor Of Philosophy - Phd, Computer Science
Carnegie Mellon University
Bachelor Of Arts (B.A.), Computer Science; Mathematics
Carthage College
FAQ
Frequently asked questions about Nathan Fulton
Quick answers generated from the profile data available on this page.
What company does Nathan Fulton work for?
Nathan Fulton works for IBM.
What is Nathan Fulton's role at IBM?
Nathan Fulton is listed as Computer Scientist and avid programmer. Things I enjoy working on: Formal Methods, Reinforcement Learning, LLMs, Program Synthesis, Controller Synthesis, Model Synthesis, Safety for Control Systems. at IBM.
What is Nathan Fulton's email address?
AeroLeads has found 1 work email signal at @cs.cmu.edu for Nathan Fulton at IBM.
Where is Nathan Fulton based?
Nathan Fulton is based in Cambridge, Massachusetts, United States while working with IBM.
What companies has Nathan Fulton worked for?
Nathan Fulton has worked for Ibm, Amazon Web Services (Aws), Mit-Ibm Watson Ai Lab, Carnegie Mellon University, and Karlsruhe Institute Of Technology (Kit) / University Of Karlsruhe (Th).
How can I contact Nathan Fulton?
You can use AeroLeads to view verified contact signals for Nathan Fulton at IBM, including work email, phone, and LinkedIn data when available.
What schools did Nathan Fulton attend?
Nathan Fulton holds Doctor Of Philosophy - Phd, Computer Science from Carnegie Mellon University.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial