My research is focused on automated vulnerability detection and program analysis of network protocol implementations via techniques like fuzzing, where I investigate practical topics such as efficiency, scalability, and reliability of automated techniques via theoretical and empirical analysis.