David Formby is Co-Founder of Fortiphyd Logic and a Ph.D. candidate at the Georgia Institute of Technology. Over his five years at Georgia Tech, his research has focused on both the practical and theoretical aspects of industrial control system security. He has discovered and reported numerous vulnerabilities to ICS-CERT and authored several papers at respected academic conferences highlighting the vulnerabilities of critical infrastructure and proposing novel ways of defending them, which have been covered in news outlets including Network World and Forbes. He recently placed as a finalist in Georgia Tech's Cybersecurity Demo Day competition and was nominated to represent Georgia Tech as an RSA Conference Security Scholar.