Begin with the End in Mind: Creating Your SBIR/STTR Proposal
A common proposal mistake and how to fix it. My 2026 Catalyst SBIR Success Workshop talk on planning Phase III first, plus reauthorization changes.
Talks & Presentations
Public lectures and conference presentations.
As an Amazon Associate I earn from qualifying purchases.
What I Learned About Theoretical CS at Cracker Barrel
Connecting the Cracker Barrel peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py in 2024, with slides and code online.
What I Learned About Theoretical CS at Cracker Barrel
Connecting the Cracker Barrel peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W in 2022, with slides and code online.
Begin with the End in Mind: Creating Your SBIR/STTR Proposal
A common proposal mistake and how to fix it. My Catalyst SBIR & STTR Summit 2020 talk on planning Phase III before writing your Phase I proposal.
Surprising Haskell Type Inference Result
Haskell type inference seems to catch an infinite loop at compile time. This HuntFunc talk walks through Hindley–Milner to show what’s really happening.
Realtime Verification & Validation of the Space Shuttle Main Engine Controller Software
How the Fault Emulation Unit and its code-generating front end tested the Space Shuttle Main Engine Controller’s Advanced Health Monitoring System in real time.
Building Objects Out of Arrays
An alternative to using hashes to implement Perl objects. My yapc99 talk at Carnegie Mellon, attended by Larry Wall, later a Perl Journal article.