In our latest blog post, we chat with Georgia Tech master’s student Himanshu Goyal about his internship experience at Galois. Here, Himanshu discusses his passion for software systems, Galois’s unique culture, and how his internship experience helped hone his engineering and research skills. Read on to learn more about Himanshu’s journey. Why Galois? How did […]
The machine learning discourse has been understandably dominated of late by language modeling tools such as Chat-GPT. But machine learning can be applied to a much wider range of contexts, inputs, and applications. One of the most fascinating, and most useful, of these is Computer Vision – the machine learning field focused on analyzing and […]
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. […]
Once per year, Galwegians are invited to gather together to celebrate the life of the company (and its swashbuckling revolutionary namesake). As part of this year’s festivities, the engineering team embarked on an epic race against time in Galois’ first-ever Game Jam! Each of the nine participating teams was given 24 hours to come up […]
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 […]
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 […]
One of Galois’s core principles is “Seek joy at work.” While that may sound a little fuzzy, we define this principle as follows: “Work should be a source of deep satisfaction and meaning, a place where we can freely offer our skills and talents to the mutual benefit of Galois and ourselves.” One of the […]
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 […]
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 […]
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 […]
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.