The KT-22 Story
Veteran startup operator and large-scale infrastructure developer Fuzz Leonard established KT-22 to evangelize a vision of simple computers with proven correct operating systems running proven correct functional code that implements TLA+ modeled and chaos hardened distributed systems. The only way humans can have privacy in a digital world is if computers operate correctly.
KT-22 thrives in fast-moving startup environments, but we have worked with a variety of organizations, including American Airlines, Boise Cascade, Citibank, Brand Sense Partners, CALIBRE, CBS, Fidelity Life, Fox, Jessica Simpson, Jimmy Buffett, Kodak, Los Alamos National Labs, MGM, Phil Camuto, Staples and University of Pennsylvania.
Feel free to reach out if there is anything we may be able to help you with.