|
|
| user: | thinkmoore | | created: | June 14, 2013 | | karma: | 233 | | 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 |
|
