Demonstrating Rigid Digital Engineering for Nuclear Power Plant Systems 

The technology powering a nuclear power plant system’s software and hardware must be safe, correct, and secure. It would be disastrous if any adversary – whether anonymous individuals or nation-states – gained control of these systems. Galois’s first project for the Nuclear Regulatory Commission (NRC), High Assurance Rigorous Digital Engineering for Nuclear Safety (HARDENS), aims […]

PERMALINK

Galois Reaches Major Milestone in First Project for U.S. Space Development Agency

Galois finished its second major milestone, ahead of schedule, for the High Integrity, Performant, Efficient Realization of a SPAceborne Cryptographic Engine (HIPERSPACE) project. The project, Galois’s first for the U.S. Space Development Agency (SDA), focuses on the creation of high-assurance, high-performance implementations of cryptographic functions for deployment in low earth orbit.  Working alongside Galois spinout […]

PERMALINK

Galois Releases FRIGATE 0.2.0 on CAMET Library

Galois this week released version 0.2.0 of its FRIGATE modeling tool on the CAMET Library. This latest version of FRIGATE demonstrates its ability to export an automated reasoning model from an industry standard modeling tool—in this case, MATLAB Simscape. Simulation model in hand, users can now correlate variables like G-forces, vibration, or temperature with projected mission success or failure, enabling FRIGATE to auto-generate a failure recovery plan to mitigate problems that arise.

PERMALINK

DARPA Awards Galois $4.6M for Phase 3 of SafeDocs Program

Galois to Develop Innovative Qualified Parser Generator The Defense Advanced Research Projects Agency (DARPA) has awarded Galois a $4.6 million contract for the final phase of the Safe Documents (SafeDocs) Program. As part of this contract ($1.25 million), Galois will be partnering with Real-Time Innovations (RTI) and Verocel, Inc. to develop a novel code generator for […]

PERMALINK

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

PERMALINK

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

PERMALINK

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

PERMALINK

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

PERMALINK

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

PERMALINK