Tom Reynolds

Tom Reynolds is a PhD-holding computer scientist whose doctoral research focused on formal methods, specifically the verification of security properties and mechanized theorem proving in COQ, employing functional programming languages like Haskell and OCAML. Their practical interests in security have evolved into reverse engineering and malware analysis. Tom has extensive experience as a software developer at K3Solutions, and holds positions as Associate Research Director at Two Six Technologies and former Director of Research and Development at CodeHunter. They were also a Head Instructor at the National Cheerleaders Association and a Graduate Research Assistant at the University of Missouri. Tom earned both their Master of Arts and Doctor of Philosophy degrees from the University of Missouri-Columbia, and previously obtained a Bachelor of Science in Political Science from Illinois State University.