Developer with an interest in security and correctness. I'm happily employed at Georgia Tech Research Institute.