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
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
There has been a lot of chatter recently about large language models, including GPT-4 and LLaMa. At Galois, we have been experimenting with GPT-4, the most capable available large language model. One group of intriguing results that I am excited to present is in the creation of SAWScript memory safety proofs. Using a very simple […]
Read More
While most engineers and scientists join Galois to be part of a company that conducts groundbreaking research, for our unique culture of collaboration, or for the great benefits and work-life balance, there’s a lesser-known but equally exciting perk of working at Galois: participating in the creation of spinouts. Throughout my time as a research engineer […]
Read More
Though known as a technology research firm, Galois values creating more than just great research. Throughout our history, our scientists and engineers have developed new technologies, built new tools, and made discoveries that provoke a “tail” of downstream opportunity. Over and over again, rather than becoming a software company focused on those downstream opportunities, we […]
Read More
Every year, college seniors in the Electrical and Computer Engineering (ECE) program at Portland State University (PSU) and the computer science program at North Dakota State University (NDSU) are required to participate in a capstone project. These initiatives pair teams of students with local or regional companies to work on industry-relevant projects and give students […]
Read More
I recently had the opportunity to give a talk at the 2023 GHC Contributors’ Workshop, held at the Rapperswil-Jona campus of the Eastern Switzerland University of Applied Sciences (OST). The aim of this workshop was to help people learn how to work on the Glasgow Haskell Compiler (GHC), understand its internals better, and ultimately, increase […]
Read More
Digital engineering (DE) is gaining momentum as the system engineering community matures practices and tooling. In its present avatar, DE workflows and tools rely on MBSE (Model-Based Systems Engineering) for developing and maintaining digital system artifacts and keeping these artifacts in sync during all phases of the system. This is presently achieved via descriptive models […]
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
In prior posts, we’ve discussed techniques and benefits of digital engineering (DE) applied to system design, in particular hardware and software for cyber-physical systems (computer systems that interact with the real world). In this post we’ll simultaneously go big and small to present a case study in how formal methods + models can enable us […]
Read More