Digital Engineering
We build tools that empower our clients to map and understand the minute components and interactions of complex system architecture.
ExploreGalois 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.
Semiconductor Design
We design secure, reliable, efficient bespoke semiconductor solutions to your most difficult computing problems for systems from the network edge to the data center.
ExploreAdvanced Cryptography and Privacy
We focus on the groundbreaking processes of securely linking and computing on private data; securely proving computation is done correctly; and on the creation, validation, and synthesis of high-assurance cryptographic solutions, including quantum-resilient (“post-quantum”) schemes.
Explore
Human Computer Interaction
We design capabilities to make the “human in the loop” work effectively in complex systems.
Explore
Software Correctness
Our software correctness tools guarantee that your systems do exactly what you want, and no more.
Explore
Machine Learning and Data Science
We combine formal methods with cutting-edge machine learning techniques and tools, empowering our clients to leverage the full potential of their data sets and solve complex problems.
Explore
Cyber Physical Systems
We build tools to increase reliability and simplify the design of complex embedded systems.
ExploreComputer Security
We develop new technologies that guarantee the confidentiality, integrity, and availability of your systems.
ExploreCore Principles
- 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 Andrew Saxton 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.