bbenne10
1,353
reputation
13
21
Developer with an interest in security and correctness. I'm happily employed at Georgia Tech Research Institute.