A technology company based out of Bellefontaine, OH specializing in rapid rigorous software engineering, hardware development, cyber security, formal methods techologies, and artificial intelligence.