About the Startup
Deeptech company developing machine learning models to automatically generate mathematically correct control software for safety- and mission-critical systems (automotive, aerospace, defence, robotics). Offers products like Hyperpilot and domain-specific copilots to automate control software development with provable correctness.