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 build tools that empower our clients to map and understand the minute components and interactions of complex system architecture.
Joe Kiniry
Adam Bryant
Tyler D. Smith
Todd Carpenter
Matt Bauer
Shauna Sweet
Steve Vestal
Rand WhillockWe design secure, reliable, efficient bespoke semiconductor solutions to your most difficult computing problems for systems from the network edge to the data center.
ExploreWe 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.
ExploreWe design capabilities to make the “human in the loop” work effectively in complex systems.
ExploreOur software correctness tools guarantee that your systems do exactly what you want, and no more.
ExploreThe Challenge: Too Much, or Too Little, Data
The Solution: Symbiotic and Trustworthy Machine Learning
ExploreWe build tools to increase reliability and simplify the design of complex embedded systems.
ExploreWe develop new technologies that guarantee the confidentiality, integrity, and availability of your systems.
Charles Payne, Jr.Todd CarpenterShauna Sweet
Scott Moore
Eddy Westbrook
David ArcherJoe Kiniry
Alex MalozemoffAdam BryantWe 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 UsConnect 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.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
