Hacker News new | comments | show | ask | jobs | submit login
user:thinkmoore
created:June 14, 2013
karma: 228
about: I'm a PhD candidate in computer science at Harvard. 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