bbenne10
1,447
reputation
14
23
Developer with an interest in security and correctness. I'm happily employed at Georgia Tech Research Institute.