Begin with the End in Mind: Creating Your SBIR/STTR Proposal
A common proposal mistake and how to fix it.
Talks & Presentations
Public lectures and conference presentations.
What I Learned About Theoretical CS at Cracker Barrel
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to HSV.py.
What I Learned About Theoretical CS at Cracker Barrel
Connecting the well-known peg game with SMT solvers, Turing machines, and NP-completeness. Presented to UAH ACM-W.
Begin with the End in Mind: Creating Your SBIR/STTR Proposal
A common proposal mistake and how to fix it.
Surprising Haskell Type Inference Result
Haskell type inference appears to diagnose an infinite loop at compile time, but what’s really happening?
Realtime Verification & Validation of the Space Shuttle Main Engine Controller Software
Described implementation of the Fault Emulation Unit (FEU) and its code-generating front end for testing the SSMEC’s Advanced Health Monitoring System (AHMS).
Building Objects Out of Arrays
An alternative to using hashes to implement Perl objects. (paid link)