Advancing computer science.

Galois develops software to solve your hardest problems.

Galois 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.


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.


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.