
I am a Research Associate Professor in the Intelligent Systems Division at the Virginia Tech National Security Institute and affiliate faculty of Computer Science at Virginia Tech. You can view my branch in the Mathematics Genealogy Project, my ORCID iD, and my Google Scholar page. My Erdős number is 2.
My research centers on testing for trust and assurance of computer systems, especially systems employing artificial intelligence and machine learning. My current focus is combinatorial testing applications spanning anonymity to artificial intelligence to autonomy, designing metrics and computational search algorithms for building test sets with different coverage related properties, and test methods to address safety and security challenges presented by the deployment of AI/ML. My prior work in cyber security involved formal methods for cryptographic protocol analysis and combinatorial approaches to anonymity in attribute-based access control.