Ruzica Piskac, an associate professor of computer science, is among the recipients of the Spring 2021 Amazon Research Award. Overall, there are 26 awardees representing 25 universities in 11 countries.
Professor Piskac’s research proposal entitled “Counterexample-Guided Inference of Modular Specifications” proposes novel techniques for modular verification of programs. that will enable automated verification of large scale industrial software. This work is done together with her PhD student Bill Hallahan.