OUR WORK

RESEARCH & DEVELOPMENT

At Galois, our commitment to reliable systems starts with a formal mathematical foundation. We use precise analysis techniques for modeling, analyzing, and verifying systems to guarantee their faultlessness.

AREAS OF EXPERTISE

Rigorous Digital
Engineering (RDE)

We create tools that help clients map and understand complex system architecture.

EXPLORE
Software &
Systems Analysis

Galois’s software tools ensure your systems perform precisely as intended.

EXPLORE
AI, Machine Learning (ML), and Data Science

We harness AI, ML, and Data Science to solve real-world problems in healthcare, cybersecurity, and defense.

EXPLORE
Advanced Cryptography
& Privacy

We develop cryptographic solutions, including quantum-resilient schemes to secure data.

EXPLORE

Curious about projects we’ve done in your industry?

BROWSE OUR SOLUTIONS

‍T 503.626.6616
E contact@galois.com

Portland, OR
421 SW 6th Avenue, Suite 300
Portland, Oregon 97204

‍Arlington, VA
901 N Stuart Street, Suite 501
Arlington, Virginia 22203

‍Minneapolis, MN
111 Third Avenue South, Suite 350
Minneapolis, MN 55401

‍Dayton, OH
444 E 2nd Street
Dayton, Ohio 45402

© Copyright Galois, Inc. 2024. All Rights Reserved | Terms of Use | Privacy Policy