Background
Gus earned his bachelors degree in computer science from the University of Minnesota. There, he was introduced to Haskell, became interested in programming language theory and type theory, and began his journey towards working with systems software.
Before coming to Galois, he co-founded his own firmware development company and worked at HPE on specialized server firmware.