HTTP/2 301 date: Tue, 30 Dec 2025 13:12:59 GMT content-type: text/html content-length: 166 location: https://www.galois.com/ server: cloudflare cf-ray: 9b61cab7ab2c8839-BLR cf-cache-status: BYPASS cache-control: private strict-transport-security: max-age=31536000 vary: Accept-Encoding set-cookie: _cfuvid=EvEU9_yBlTBgVbZcpxiLbHTgqQc6iycndimC9aL9LP0-1767100379247-0.0.1.1-604800000; path=/; domain=.galois.com; HttpOnly; Secure; SameSite=None alt-svc: h3=":443"; ma=86400 HTTP/2 200 date: Tue, 30 Dec 2025 13:12:59 GMT content-type: text/html server: cloudflare cf-ray: 9b61cabc3a1e3e92-BLR cf-cache-status: HIT age: 265419 content-encoding: gzip last-modified: Tue, 23 Dec 2025 19:05:46 GMT strict-transport-security: max-age=31536000 surrogate-control: max-age=432000 surrogate-key: www.galois.com 673b407e535dbf3b547179dd pageId:677469e67be8888a460e2e92 673b407e535dbf3b54717a52 x-lambda-id: e4079dd6-74b6-4262-8120-83f7ff9f0a2a vary: Accept-Encoding alt-svc: h3=":443"; ma=86400

Get Started

GET IN TOUCH

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.

Email

contact@galois.com

PHONE

503.626.6616

MAKING YOUR IMPORTANT SYSTEMS

Trustworthy

Reliable

Secure

Explainable

Compliant

who we are

galois delivers reliability

For more than 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.

WHAT WE DO

Custom research & engineering

Our computer scientists, cryptographers, mathematicians, and cognitive scientists conduct cutting-edge research and development with real-world impact.

Explore some of our case studies.

SIEVE

Securing Information for Encrypted Verification and Evaluation

VIEW PROJECT

ESSENCE

Revolutionizing Cyber-Physical System Design with AI-Assisted Tools

VIEW PROJECT

LAGOON

An analysis tool for open-source communities

VIEW PROJECT

View all projects

GALOIS CAN HELP

Our tools and solutions protect national security, financial transactions, and private data for millions across defense, fintech, and cloud applications. 
‍
How can we help you?

Research & Development

We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances.

LEARN MORE

Solutions

Galois leverages our cutting-edge research to deliver high-assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, automotive, semiconductors, fintech, and enterprise IT.

LEARN MORE

Ready to get started?

Get in touch with a Galois team member today.

Get Started