Impactful Problem Solving

Galois applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering the latest groundbreaking technology in the form of practical solutions tailored to our clients’ needs.

Get in Touch

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.

Basic Research

The bigger and bolder the project, the better. We partner with scientists and engineers in industry, government, and academia to advance their toughest research agendas. Our research advances fundamental capabilities in computer science that have significant, broad-reaching implications.

Applied Research

Our passion for impact is baked into our DNA. Not only do we enable fundamental breakthroughs for our clients, we turn leading research into applied, practical solutions in our areas of expertise. We excel at fusing cutting-edge inventions with proven methods to solve our clients’ hardest problems.


We help turn vision into reality. We build advanced prototypes like homomorphic encryption and commercial products like CyberChaff and spin-off companies like Tozny We develop embedded software, secure web applications, and everything in between. We can collaborate with your product team to build an innovative new feature or validate feasibility with our proof of concepts. We're known for building real software to solve real problems.


We partner with your technical team to apply the latest in provable security, safety, and reliability to your product line. Measurably secure software techniques are not limited to the defense and intelligence communities anymore: whether it is verifying industry-scale encryption libraries, or producing provably correct cyber-physical subsystems, we can help you apply scientific concepts that can take real-world solutions to the next level.

Additional Services

We believe the open innovation model for research and development is the most effective means to keep up with disruptive technology advancements. We continually collaborate with industry and academia to advance research, commercialize advanced technology, and forge new strategic partnerships.


Galois will work with you to advance your research agenda, launch new programs, solve hard problems or build state-of-the-art software. Contact us to learn more about our projects, capabilities, and processes.

Learn More


Our expert transition team at our subsidiary, Formaltech, can help you embed our technologies into existing products or add them as new features. We work with our customers and clients to reach flexible licensing agreements to bring advanced technology to the market.

Learn More

Partnering with Galois

Galois collaborates with partners large and small to solve complex problems that require outside thinking. Contact Leah Daniels to learn more about whether your project is a good fit for both teams.



At Galois, we focus on developing cutting cutting-edge technologies and strive to license those technologies broadly to existing product providers. Since we are committed to broad adoption in many different markets, our licensing options are flexible and adaptive. We work with our customers and clients to reach licensing agreements that best meet the needs of both parties.


Training with Galois

We offer training in formal methods and programming languages to provide developers, analysts, and researchers with tools that make performing their jobs more efficient and reliably secure. Contact Leah Daniels to learn more about what we might be able to offer.