Benjamin Rodes

Benjamin Rodes is a Principal Security Engineer at Microsoft, where they focus on developing security analyses using CodeQL for various products and services. Previously, Benjamin served as the Principal Research Scientist at Dependable Computing LLC, leading government research projects on assurance cases and formal methods. With a PhD in Computer Science from the University of Virginia, they possess extensive experience in software security and formal verification techniques, having also worked on significant projects involving unmanned systems and security-critical applications. Their academic career included research and teaching roles at multiple universities, where they developed tools and lectured on a range of technical subjects.