Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. The company applies computer science and mathematics to advance software and hardware trustworthiness.

Galois

Galois, Inc. | 4,906 followers on LinkedIn. Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. | Galois’ mission is to create trustworthiness in critical systems. We’re in the business of taking blue-sky ideas and turning them into real-world technology solutions, through cutting-edge research and expert engineering. Galois works with government and industry to develop technologies that have a significant impact on society in areas of privacy, security, and safety.

Principal Scientist at Galois, Inc.

Joseph Kiniry

Project Leader at Galois, Inc.

Raj Patra

Acting Executive Director at HomeShare Oregon - Founder and President at Solutional

James Dirksen

Engineering Team Lead at Galois, Inc.

Jonathan Daugherty

Galois, Inc.

Here's a sneak peek into Galois's role with the IARPA Anonymous Real-Time Speech (ARTS) program. Stay tuned for more info in the coming months!

What configuration of components and strategies will create the best possible helicopter / drone / submarine / spacecraft / microchip / bridge / power plant / solar array / etc. to accomplish XYZ? Engineering design inevitably involves making these sorts of decisions from nearly infinite possible options. And when time and/or resource constraints are present, optimality becomes much more difficult to achieve. Over the past few years, as part of our work for Government clients, as well as Internal Research and Development (IR&D) efforts, Galois scientists have been exploring better, faster, cheaper ways to meet these sorts of design challenges through surrogate modeling. Learn more in our latest article by Galois research engineer Alexander Grushin.

Understanding large code bases is hard. It can take months for an experienced engineer to get comfortable navigating and manipulating large software projects. At Galois, we’re developing tools to generate 3D representations of code bases visualized as cities to help engineers get oriented faster, and to develop a shared visual reference for team conversations and problem-solving. Learn more in our latest article by Galois Principal Scientist Tyler Smith

Galois recently wrapped up our work on DARPA's SIEVE program, advancing research that has made Zero Knowledge Proofs (ZKPs) orders of magnitude faster, more efficient, and more useful. Applications include proving software vulnerabilities in zero knowledge, securely verifying correctness in hardware design, and safeguarding consumer data privacy. “When we started working on SIEVE, ZKPs were unable to do much that was actually useful,” said Galois Principal Scientist David Archer. “By the end of the project we were using ZKPs to do some VERY useful things.” Learn more in our latest article.

Galois, Inc. Principal Scientist and Niobium Microsystems CTO David Archer recently published an excellent article in Embedded Computing Design on "The Rise of Fully Homomorphic Encryption" – one of our Cryptography and Privacy team's key research areas. Give it a read to learn more!

Back in 2021, the Nuclear Regulatory Commission asked Galois to explore the most secure, efficient, and practical ways to begin integrating digital technologies into plant protection and control systems. The resulting RDE work is paving the way for a future where critical systems like nuclear power plants can wisely use digital technology for control that’s secure from adversaries, while simultaneously saving them time and money, and making certification easier. Learn more in our latest article.

Former Galois intern Max von Hippel launched Benchify and is part of this batch of Y Combinator -backed startups. Congrats, Max! We can't wait to see where you take this venture.

ReconRobotics partnered with cybersecurity experts at Galois, helping boost our advanced Throwbot® Robots to meet NIST standards. This collaboration is a new chapter in making military tech even more secure and effective for modern battlefield operations! https://lnkd.in/gN53gNRi

ReconRobotics, Inc.

Self-organizing maps (SOMs) are useful for untangling complex data challenges where more traditional machine learning models struggle. But how do they work? And how can they be practically used in a serious machine larning context? In our latest article, Galois Research Engineer Donya Quick explores the algorithm at the heart of SOMs, as well as an exciting application being actively researched by Galois.

Supporting a new data protection blockchain developed by IOG, Galois recently collaborated with Midnight and Intersect MBO to implement recursive zero-knowledge (ZK) proofs in an open-source ZK library called Halo2.

GALO

COM:GALOIS

Galois