As 2023 draws to a close, we take a moment to look back. It’s been a jam-packed year for Galois, from software releases to research breakthroughs. Our intrepid team of engineers and scientists has published papers, led workshops, served on committees and boards, presented at conferences, led science communication efforts, and spearheaded truly cutting edge […]
Read More
Back in 2015, Galois Chief Scientist and Founder, John Launchbury, started developing and discussing “Three Waves of AI” as a framework for understanding the new burst of machine learning developments that were taking place, and to put DARPA I2O’s research portfolio into context. Now, eight years later, ChatGPT and friends have burst on the scene. In this […]
Read More
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 […]
Read More
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 […]
Read More
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
This week, Galwegians from across the country gathered to celebrate the grand opening of our new office in Minneapolis. The festivities included an open house of the new office space; a walking tour of the city; a double feature of Wallace and Gromit: The Wrong Trousers and Crouching Tiger, Hidden Dragon at the Parkway Theater […]
Read More
We recently celebrated Jef Bell and Mark Tullsen, Galwegians who have worked with us for 20 years. For reference, Galois was founded in 1999, so a 20-year tenure is the bulk of our existence as a company! In addition to celebrating these wonderful humans, we wanted to take a moment to gain from their experience […]
Read More
2022 wasn’t a return to pre-pandemic times, but we’ll call it a “return to almost-normal.” At Galois, we continued a hybrid model of in-person and virtual collaboration. We also added several members to our team, including the acquisition of Adventium Labs! (More on that below.) Throughout the year, we made considerable progress applying our efforts […]
Read More
The Challenge At Galois, we verify and assure complex critical systems. Autonomous vehicles are prime examples of complex systems which operate in uncertain and unstructured environments. Autonomous driving decisions use Deep Neural Networks (DNNs) which are data-driven and can react in unsafe ways when faced with out-of-distribution driving scenarios. Rigorously assuring the safety of these systems […]
Read More
Cryptography continues to rapidly transform our world. It seems like every day there’s a new story about fully homomorphic encryption, blockchains, and how these technologies secure billions and even trillions of dollars in assets. We’ve talked about cryptographic algorithms and twice about cryptographic assurance. People who work with these concepts every day have been the […]
Read More