Nathan Fulton
Notes Publications Software Teaching

Notes

Most of the notes published on this site are designed for novice-to-intermediate KeYmaera X users, although I also occasionally post thoughts on other topics.

Research Notes

  • Aug 26, 2020 How to View a Completed KeYmaera X Proof
  • Mar 27, 2020 Installing FlowStar on a Fresh Ubuntu Machine
  • Nov 27, 2017 Importing Bellerophon programs into the Bellerophon Scala DSL
  • Nov 22, 2017 Loop Convergence Proofs in KeYmaera X
  • Aug 11, 2017 Notes from Marktoberdorf Tutorial
  • Jul 25, 2017 Bifurcations and KeYmaera X -- The 1D Saddle-node Birfurcation
  • Apr 12, 2017 Importing Case Studies into KeYmaera X
  • Apr 12, 2017 KeYmaera X Tooling for Case Study Authors
  • Jan 14, 2017 Reasoning about Exponential Decay and Growth in KeYmaera X

Personal Notes

  • Apr 23, 2018 Carthage Debate History
  • Apr 12, 2018 Pittsburgh Doggos By the Numbers
  • Jul 4, 2017 Computer Science and the Classical Liberal Arts
  • Jul 3, 2017 Backpacking Trips around Pittsburgh
The postings on this site are my own and don't necessarily represent IBM's positions, strategies or opinions.

Nathan Fulton

  • Nathan Fulton
  • nathan@ibm.com
  • nrfulton
  • pubs
  • nrfulton

Nathan Fulton - Research Scientist at MIT-IBM. AI Safety.