Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
user:
thinkmoore
created:
2013-06-14
karma:
291
about:
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.
submissions
comments
favorites
