Andy Applebaum is a researcher at The MITRE Corporation where he mainly works on topics such as offensive security automation, applying formal methods to threat modeling, and reasoning under uncertainty. Prior to starting at MITRE, Andy received his Ph.D. in computer science from the University of California Davis, where his dissertation topic was using argumentation logic for reasoning in cyber security.