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.