About Galois

Galois develops technology that guarantees the safety, security and reliability of systems where failure is unacceptable. We apply cutting-edge techniques from scientific research to rule out vulnerabilities in automotive software and create provably safe and secure systems. We leverage formal verification, a technique that goes beyond traditional software assurance methods to provide mathematical guarantees that your most critical subsystems are safe and secure. For more information, visit https://galois.com.


Sponsor escar Galois