Mission

We develop and deliver solutions to provide mathematical assurance of software properties for mission-critical applications

Who we are

KT people are highly trained computer scientists, mathematicians, and engineers who share a vision for using sound mathematical foundations for high assurance software and systems. They bring extensive technical, specialty application, enterprise, and management experience to this vision. Our team leaders are:

  • Matt Barry for assurance cases, run-time monitoring, and project management
  • Bill Bush for verification and runtime monitoring
  • Eric Bush for high assurance application specification and verification
  • Lindsay Errington for high assurance specification and model transformations
  • Henny Sipma for verification and runtime monitoring
  • Doug Smith for high assurance specification and policy enforcement
  • Arnaud Venet for static analyzers and verification

In addition KT is pleased to have consultants on board from Stanford, MIT, and JPL.

Customers and Projects

Our customers include the DoD’s military services and intelligence agencies. We team with and support DoD Prime Contractors, commercial application developers, and universities, and compete successfully for Small Business Innovative Research (SBIR), Small Business Technology Transfer Program (STTR), and NASA Research Announcement (NRA) contracts.