Cryptography
We are a leader in 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.
ExploreGalois applies cutting edge computer science and mathematics to solve difficult technological problems. But we don’t stop there. We deliver practical, bespoke solutions tailored to our clients’ needs.
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 the confidentiality, integrity, and availability of your systems.
Explore
Scientific Computing
We use our expertise in compiler and language technology to build accessible tools for scientific users.
ExploreMobile Security
We investigate key questions in ensuring the safety and security of mobile networks and devices.
Explore
Machine Learning
The world is drowning in data, but most of it goes unused. We create tools that turn data into insights.
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.
Explore
Core Principles
- Hold to authenticity.
- Pursue deep trust.
- Seek joy at work.
- Cherish learning and innovation.
- Serve as stewards.
Want to know more? We'd love to answer your questions, hear about your challenges, or just discuss interesting problems - please let us know!
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.