Client Services

At Galois, we measure our success by the benefits we create for our government and commercial clients. Our project teams work hard to satisfy our customers, and we are proud to include on this list the U.S. Navy, U.S. Air Force, Defense Advanced Research Projects Agency (DARPA), General Dynamics, Rockwell Collins, and groups within the Intelligence Community, to name a few. Galois offers a range of services, as a prime contractor, subcontractor, or consultant, geared to meet our customers’ information assurance needs.

Trusted Software Development

Software is a mostly invisible infrastructure that makes modern civilization possible. And yet, most of today’s software is plagued by various flaws, such as failures to protect privacy or to guarantee security or safety during operation. In critical systems, these failings can have significant consequences. Drawing from the latest advances in computer science, we focus our energy on these serious and important issues, offering services in the areas of Systems Engineering, Language and Tools Design, and Formal Methods services. Our vision is to make dependable software a reality.