Paul is a Research Scientist at Facebook, where he makes sure software bugs are caught early. He previously spent a good amount of time in academia, where he focused on building unconventional testing tools by integrating testing and verification techniques like symbolic execution, fuzzing and fault injection.