Blog posts

2025

What Works (and Doesn’t) Selling Formal Methods

less than 1 minute read

Published: May 08, 2025

Galois blog post: Link

o3, Frontier Math, and the Future of Mathematics (Galois blog)

less than 1 minute read

Published: January 29, 2025

Galois blog post: Link

2024

Function Argument Nullability Using an LLM (Galois blog)

less than 1 minute read

Published: November 20, 2024

Galois blog post: Link

Generative AI for Specifications (Galois blog)

less than 1 minute read

Published: June 04, 2024

Galois blog post: Link

Galois / Twisp: Avoiding Foolishness in Distributed Systems (Galois blog)

less than 1 minute read

Published: February 22, 2024

Galois blog post: Link

2023

The Impact of Provable Security: AWS and Supranational (Galois blog)

less than 1 minute read

Published: September 19, 2023

Galois blog post: Link

2021

Building a Concurrency Verifier Using Crucible (Galois blog)

less than 1 minute read

Published: June 18, 2021

Galois blog post: Link

Who is verifying their cryptographic protocols? (Galois blog)

less than 1 minute read

Published: May 07, 2021

Galois blog post: Link

QUIC Testing, a Quick Replication (Galois blog)

less than 1 minute read

Published: March 22, 2021

Galois blog post: Link

2020

Proofs Should Repair Themselves (Galois blog)

less than 1 minute read

Published: December 08, 2020

Galois blog post: Link