News & Insights

Explore our latest stories, tech talks, and news updates. From real-world experiences to technical expertise and important announcements, this is where you'll find what’s happening and what’s next.

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

No results found. Try adjusting your filters or search terms to see more content.

Blog Post

Mechanism Design and the CAMDEN Program

David Burke

Tags:

Artificial Intelligence & Machine Learning

Human Factors

Blog Post

Function Argument Nullability Using an LLM

Mark Tullsen, Stuart Pernsteiner, and Mike Dodds

Tags:

Artificial Intelligence & Machine Learning

Software & Systems Analysis

Blog Post

Surrogate Modeling for Rapid Decision-Making

Alex Grushin

Tags:

Artificial Intelligence & Machine Learning

Rigorous Digital Engineering

Blog Post

Visualizing Codebases as Cities

Andrew Shaughnessy

Tags:

Rigorous Digital Engineering

Blog Post

Advancing the State of the Art in Zero Knowledge Proofs: SIEVE Wrap Up

Andrew Shaughnessy

Tags:

Advanced Cryptography & Privacy

Blog Post

How Do You Modernize Safety Critical Designs in Nuclear Power? RDE!

Andrew Shaughnessy

Tags:

Rigorous Digital Engineering

Critical Systems

Blog Post

What are Self-Organizing Maps?

Donya Quick

Tags:

Artificial Intelligence & Machine Learning

News

Midnight and Halo2: ZK Rollups for Secure Scalability

Galois

Tags:

Advanced Cryptography & Privacy

Fintech

Blog Post

My People Experience at Galois: The Community Leads the Way

Julie Allen

Tags:

Life at Galois

Never miss a post

Subscribe and get notified every time there's a new article.