User: thinkmoore
Created: 6/14/2013, 4:25:56 AM
Karma: 288
I'm a Principal Scientist at Galois. I study the intersection of Programming Languages and Security: how can we use language design and formal reasoning techniques to build secure software. My CV is online at http://thinkmoore.net.