We are a team of researchers who build practical systems with the aim of improving real-world software security and robustness.

We routinely find software bugs and publish our work in security and software engineering venues like ACM CCS and ICSE.

Our group currently focuses on the following research areas: software testing, program analysis, and automated bug repair.



Recent News


Contact

3446 Merrill Engineering (MEB)
50 Central Campus Drive
Salt Lake City, UT 84112
snagy@cs.utah.edu
+1 801-581-8224


Our Sponsors