- I wrote the disk operating system for the Gemini robot.
- I designed and wrote Build Zero of NASA's current airspace simulator, ACES (google "airspace concept evaluation system"). (The current Build 4 has many more capabilities.)
- I co-designed the Multi-Agent Generic Infrastructure for Cognition for DARPA.
- I redesigned JCVI's prokaryote automatic functional annotation system, to combine multiple evidences, and to produce probabilities calibrated from validation.