Using AI to Combat Illegal Fishing 

Illegal, Unreported, and Unregulated (IUU) fishing represents a significant global threat to our shared natural resources, undermining the sustainability of fish stocks, damaging ocean ecosystems, and robbing nations of their natural heritage and economic foundation. Nowhere is this challenge more acute than in the Galapagos Marine Reserve (GMR), a biodiversity hotspot of extreme ecological significance. […]

Read More

Cryptol, SAW, and the Galois Origin Story

Among the many tales of innovation and impact to come from Galois over the years, the origin story of Cryptol and SAW is perhaps the most closely tied with that of the company itself. Today, these open-source verification tools have been used in national security, fintech, and cloud computing applications to keep citizens, systems, and […]

Read More

The Galois Internship Experience: Mason Read

We recently caught up with Mason Read, a computer science undergraduate at UC Irvine who just wrapped up his third consecutive summer internship with Galois. It was a great opportunity for him to share some insights from his experience working on diverse projects, his personal and professional growth during his time with us, and his […]

Read More

Using GPT-4 to Assist in C to Rust Translation

At Galois, we have been experimenting with multiple Large Language Models (LLMs), including GPT-4. Part of the motivation for this is to continue increasing the accessibility and utility of our formal verification and software assurance tools. While these tools provide high assurance for critical software, they can require significant expertise or time to extract full […]

Read More

The Impact of Provable Security: AWS and Supranational

Galois’s mission is to help make the critical systems that the world relies on more secure and trustworthy. Over the years, we’ve put our team’s deep expertise in software correctness, cryptography, digital engineering, and machine learning to work, providing formal assurance for complex systems in high stakes contexts for both government and commercial clients. From […]

Read More

Galois is now 100% Employee Owned! Here’s What That Means

In June 2023, Galois officially became 100% employee-owned—realizing a vision 10 years in the making.  This significant milestone was made possible through our Employee Stock Ownership Plan (ESOP), introduced in 2013 after Galois’s founder John Launchbury learned of ESOPs’ benefits during his “Blue Sky”[1] time, then introduced it to Galois as part of his long […]

Read More

Galois Engineer Fosters Future Tech Talent with LEGO Robotics Competition

Galois is full of fascinating people with remarkable stories. In addition to being research engineers building tools for space exploration, mathematicians writing proofs to secure some of the world’s most valuable data, and spreadsheet wizards managing complex projects, we are musicians and artists, mountaineers and spelunkers, philosophers and flower farmers. Every once in a while, […]

Read More