© 2010 Galois, Inc. All rights reserved.
What does Galois do?
Information assurance for critical systems
Building systems that are trustworthy and secure
Mixture of government and industry clients
R&D with our favorite tools:
Typed functional languages
Languages, compilers, DSLs
Kernels, file systems, networks, servers, compilers,security, desktop apps, ...
Haskell for pretty much everything