The arcane world of cryptographic proofs seldom finds expression on the dashboard of your average automobile, but a partnership between Galois and Cybernetica is steering the state of the art in privacy-preserving technology towards the road less traveled—in Estonia, to be precise. In 2020, Estonia’s Environmental Investment Centre introduced a public program to encourage the […]
Read More
Growing up, Taisa Kushner loved math. There was a functional elegance to the way mathematical techniques could be used to unravel even the most complex problems, and how seemingly disparate systems were linked through simple equations. But she enjoyed the biological sciences too, and wanted to find a career where she could use her skills […]
Read More
For pro-democracy activists living under authoritarian regimes, communication can be a tricky – and often dangerous – endeavor. Posting dissident messages to social media, sending an email, or texting a friend or colleague can risk interception by vigilant government agents, censorship, and even jail time. Over the past few years, Galois has been developing, in […]
Read More
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
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
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 […]
Read More
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
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
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
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