Shauna Sweet joins Galois as Principal Scientist

We’re thrilled to welcome Dr. Shauna Sweet to Galois as a Principal Scientist. Her research interests center on the application of quantitative methods to complex mission problems. This includes the development of novel solutions to problems characterized by data sparsity, non-random missingness, and challenges arising from distributional shift. Dr. Sweet is also interested in the […]

Read More

Taisa Kushner joins Galois as Principal Researcher

We’re delighted to announce that Dr. Taisa Kushner has joined Galois as a Principal Researcher. Dr. Kushner works at the intersection of formal verification, machine learning and cyber-physical systems control – with a particular focus on healthcare applications. Her research interests include developing reliable, data-driven models under biased data; designing verifiably safe control and decision support […]

Read More

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 safe and secure software-intensive […]

Read More

Introducing Galois’s new Principal Researcher, Dr. Adam Bryant

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 […]

Read More

Introducing Galois’s new Principal Scientist, Dr. R. Chandramouli

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 […]

Read More

Galois to develop new privacy-preserving and data-sharing platform

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 […]

Read More

Galois introduces new spin-out, Niobium Microsystems

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 […]

Read More

Galois wins DARPA project, POLYMORPH

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 […]

Read More

2021 Galois Summer School for Trustworthy Machine Learning, Artificial Intelligence, and Data Science

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, […]

Read More

Galois spin-out MuseDev acquired by Sonatype

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 […]

Read More