Using AI to Combat Illegal Fishing 

Illegal, Unreported, and Unregulated (IUU) fishing represents a significant global threat to our shared natural resources, undermining the sustainability of fish stocks, damaging ocean ecosystems, and robbing nations of their natural heritage and economic foundation. Nowhere is this challenge more acute than in the Galapagos Marine Reserve (GMR), a biodiversity hotspot of extreme ecological significance. […]

Read More

Spinout Stories: MuseDev

While most engineers and scientists join Galois to be part of a company that conducts groundbreaking research, for our unique culture of collaboration, or for the great benefits and work-life balance, there’s a lesser-known but equally exciting perk of working at Galois: participating in the creation of spinouts.  Throughout my time as a research engineer […]

Read More

Ontology, AI, and Human-Machine Teaming: How Does a Machine Know What We Mean?

We’ve all seen it—a couple on a date, politicians, friends, or colleagues talking right past each other, trapped in a moment of profound misunderstanding over the meaning of a single word. For me, that moment came when my partner, a New Yorker through and through, told me, a Midwesterner, to take “the next left” while […]

Read More

Formal methods + AI: Where does Galois fit in?

Thus far in our ongoing series on artificial intelligence we’ve spoken in depth on questions of trust, human perception, and limitations of generative models. We have focused specifically on large language models (LLMs), due in part to their recent successes and media attention. We’ve explored questions of data, testing, and broad model implications. However, LLMs […]

Read More

Generative AI, Mission Critical Systems, and the Tightrope of Trust

The public release of ChatGPT3 and DALL-E 2 radically changed our expectations for the near future of AI technologies. Given the demonstrated capability of large generative models (LGMs), the ways in which they immediately captured public imagination, and the level of publicized planned capital investment, we can anticipate rapid integration of these models into current […]

Read More

Harnessing Deep Learning to Model Complex Systems

Researchers at Galois have developed DLKoopman – an open-source software tool that uses machine learning to model and predict the behavior of complex, difficult-to-analyze systems. DLKoopman models a system from limited data, and then predicts how it is going to behave under unknown, often unmeasurable conditions, such as the pressure on a submarine at unknown […]

Read More