Stefan Nagy

Stefan Nagy is an Assistant Professor at the Kahlert School of Computing at the University of Utah. He holds a Ph.D. in Computer Science from Virginia Tech (2022) and a B.S. in Computer Science from the University of Illinois Urbana-Champaign (2016). His primary research focuses on Software Engineering, Software Quality Assurance, and Computer Systems, with specific interests in program analysis, automated bug discovery, and efficient quality assurance for opaque systems.

He teaches courses such as CS 4440: Introduction to Computer Security and CS 5963/6963: Applied Software Security Testing. His recent publications (2025) include work on fuzzing frameworks for binary-to-C decompilers, automated API harness generation, and kernel fuzzing configuration optimization. He advises students in these areas and collaborates with groups like the Utah Software Security Group.

He is affiliated with the FuTURES 3 Lab and maintains a research website with full publication details. His work addresses challenges in closed-source software analysis, security ethics, and digital forensics.