SCNA 2012: Aaron Bedra – Pontificating Quantification: Verifying Correctness in Software

Spread the love

Aaron Bedra is a Senior Software Engineer at Groupon working on Groupon’s Now! real-time deals platform. He is the co-author of Programming Clojure, Practical Software Security, and another upcoming Pragmatic Press book.

Twitter: @abedra

Likes: 2

Viewed: 84