We design secure, reliable, efficient bespoke semiconductor solutions to your most difficult computing problems for systems from the network edge to the data center.Explore
Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We apply cutting edge computer science and mathematics to advance the state of the art in software and hardware trustworthiness.
We focus on the ground-breaking process of computing on data while it remains encrypted, and in the automated generation, validation, and synthesis of high assurance cryptographic solutions.Explore
We design capabilities to make the “human in the loop” work effectively in complex systems.Explore
Our software correctness tools guarantee that your systems do exactly what you want, and no more.
- Olivier Savary Belanger
- Ajay Kumar Eeralla
- Joey Dodds
- Eddy Westbrook
- Dan Zimmerman
- Mike Dodds
- Aaron Tomb
- Joe Kiniry
We investigate key questions in ensuring the safety and security of mobile networks and devices.Explore
The world is drowning in data, but most of it goes unused. We create tools that turn data into insights.Explore
We build tools to increase reliability and simplify the design of complex embedded systems.Explore
We develop new technologies that guarantee the confidentiality, integrity, and availability of your systems.Explore
- Hold to authenticity.
- Pursue deep trust.
- Seek joy at work.
- Cherish learning and innovation.
- Serve as stewards.
We combine proven scientific methods with the latest technological innovations to solve our clients’ hardest problems. Want to know more? Contact us to discuss how we can work together on your most difficult challenges.Connect With Us
Partnerships and Collaborations
Connect directly with Leah Daniels to discuss your idea or project, or send us a general inquiry to learn more about our work and process. We will do our best to respond within one business day.