Galois acquires Adventium Labs Galois is pleased to announce the acquisition of Adventium Labs (adventiumlabs.com), which will be operated as a wholly owned subsidiary of Galois through the remainder of the year, at which time it will be fully integrated under the Galois brand.  Based in Minneapolis, MN, Adventium Labs develops innovative solutions for building […]

We’re excited to welcome a new Principal Researcher to our team! Dr. Adam Bryant brings more than 20 years of experience in R&D and secure systems engineering. Adam’s research leverages technologies in systems modeling, reverse engineering, sense-making, and human-machine teaming with the intent to reduce the cognitive load required of engineers and systems analysts. At […]

We’re excited to welcome a new Principal Scientist to our team! Dr. R. Chandramouli (Mouli) brings more than 20 years of R&D experience in mobile networking, edge computing, and machine learning in academic and startup environments to Galois. Mouli designs machine learning-driven wireless network systems for dynamic spectrum sharing, 5G, resilient networking, and hybrid space […]

The U.S. Department of Energy recently awarded Galois a grant to develop TRIFECTA, a new platform that accommodates data privacy and data analysis.  Collecting and storing massive amounts of data is the norm for many organizations. Data storage is inexpensive, and the data helps inform decision-making across multiple levels of an organization. For example, these […]

We’re pleased to announce the creation of our newest spin-out:  Niobium Microsystems, devoted to the creation of trusted microelectronic systems. Galois is well-known for its focus on formal methods and high assurance for software validation. Some of the company’s most cutting-edge research involves System-on-Chip design.  Niobium Microsystems builds on this body of work, advancing into […]

As part of DARPA’s V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program, Galois is excited to share we have been awarded a multi-part project – POLYMORPH (Promotion to Optimal Languages Yielding Modular Operator-driven Replacements and Programmatic Hooks) that will cover three technical areas – Levitate, Transmute and Augury, and Revivify. POLYMORPH’s goal is to […]

The 2021 Galois Summer School for Trustworthy Machine Learning, Artificial Intelligence, and Data Science will be held virtually on Monday, June 28th. This summer school is designed as an intensive curriculum aimed at helping students pursuing careers in these areas understand the challenges, limitations, and opportunities in the expansion of these technologies into safety-critical, human-critical, […]

We are pleased to announce that MuseDev, a Galois spin-out company, has been acquired by Sonatype.  MuseDev creates a software solution that automatically analyzes and provides uniquely accurate feedback on each developer pull request, making it easy to find and fix critical security, performance, and reliability bugs during code review.  Sonatype is the leader in […]

We’re thrilled to announce Galois has been awarded a $15.3M DARPA contract for our BASALISC project. This is part of DARPA’s Data Protection in Virtual Environments (DPRIVE) program, which aims to accelerate the “last mile” of data encryption with purpose-built ASICs that accelerate fully homomorphic encryption (FHE) computations. A key aim of the project is […]

The Reliable Obfuscated Communications Kit for everYone (ROCKY) project, part of DARPA’s RACE program, seeks to hide critical data within network traffic through sophisticated cryptographic methods and advanced machine learning techniques – delivering a knock-out for privacy protection. Learn more about ROCKY on our blog.