Galois

@galois

Galois applies cutting edge computer science and mathematics to solve difficult technological problems.

Portland, OR

Joined September 2008

659Following

6KFollowers

Galois@galois · Jul 22

🚨 Paper accepted! Congrats to Galwegians Santiago Cuéllar, James Parker, Stuart Pernsteiner + co-authors Bill Harris, Ian Sweet & Eran Tromer on "Cheesecloth: ZK Proofs of Real-World Vulnerabilities” being accepted for publication in ACM TOPS! Read it!: dl.acm.org/doi/10.1145/37…

280

Galois@galois · Jul 15

In his latest article, "Specifications Don't Exist," Galois Principal Scientist Mike Dodds explores formal specifications, informal specifications, and the inescapable burden of having to clarify our ideas. Give it a read! galois.com/articles/speci…

2.0K

Galois@galois · Jun 26

“[Formal methods] advancements enable us to scale secure software systems across all DOD, from legacy platforms to cutting edge AI and hypersonic technologies defending our digital landscape." - Undersecretary of Defense for Research and Engineering youtu.be/ROZv0G-6zxs?fe…

573

Galois@galois · Jun 17

Shout out to Galois intern Mark Moeller, who is presenting “Active Learning of Symbolic NetKAT Automata” at #PLDI2025 in Seoul on Wed, June 18! If you’re at PLDI, swing by to say “Hi,” chat about Galois, and nerd out on automata & #NetKAT for packet-switched networks!

803

Galois@galois · May 27

At Galois, we often say things like: “Formal methods form the backbone of everything we do.” But what exactly are formal methods? How do they work, and why are they so important? We created a handy reference page to explain: galois.com/what-are-forma…

galois's tweet image. At Galois, we often say things like: “Formal methods form the backbone of everything we do.”

But what exactly are formal methods? How do they work, and why are they so important?

We created a handy reference page to explain: galois.com/what-are-forma…

581

Galois@galois · May 8

What actually works when selling formal methods in industry? What doesn't? The way Galois Principal Mike Dodds sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense. galois.com/articles/what-…

galois's tweet image. What actually works when selling formal methods in industry?

What doesn't?

The way Galois Principal Mike Dodds sees it, many FM projects don’t pencil out not because clients are irrational, but because the cost/benefit tradeoffs don’t make sense.

galois.com/articles/what-…

432