« A Disciplined Approach to Talking About Security | Main | Tech Talk: Candid experiences from a hardware startup »

11+ Years of Formal Methods at Galois

A month or so ago, I  gave talks at SRI and NASA Ames on 11+ Years of Formal Methods at Galois (pdf).  Though I haven't been around the whole time, it was fun to reminisce on the projects I've helped with and to highlight my colleagues' work!