Ruzica Piskac

Ruzica Piskac is a professor of computer science at Yale University. Her research interests span programming languages, software verification, automated reasoning, and code synthesis. Recently, her work has also explored the use of artificial intelligence and automated reasoning to support legal reasoning, extending formal methods into domains beyond traditional software. A common thread in Ruzica’s research is improving software reliability and trustworthiness through formal techniques. She joined Yale in 2013 as an assistant professor; prior to that, she was an independent research group leader at the Max Planck Institute for Software Systems in Germany. In July 2019, she was named the Donna L. Dubinsky Associate Professor of Computer Science, one of the highest honors an untenured faculty member at Yale can receive. Ruzica has earned numerous recognitions for both research and teaching, including the Patrick Denantes Prize for her PhD thesis, a CCS Distinguished Paper Award, a Communications of the ACM Research Highlight, an NSF CAREER award, the Facebook Communications and Networking Award, the Microsoft Research SEIF Award, the Amazon Research Awards, and the 2019 Ackerman Award for Teaching and Mentoring.

• Incremental, Inductive Coverability, with J. Kloos, R. Majumdar, F. Niksic. To appear in the Proceedings of 25th International Conference on Computer Aided Verification (CAV 2013).
• Automating Separation Logic using SMT, with T. Wies, D. Zufferey. Proceedings of 25th International Conference on Computer Aided Verification - CAV 2013, Saint Petersburg, Russia, p. 773-789. An extended version of this paper is available as NYU Technical Report TR2013-954, March, 2013.
• Complete Completion using Types and Weights, with T. Gvaro, I. Kuraj, V. Kuncak. To appear in the Proceedings of 34th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2013).
• Software Synthesis Procedures, with V. Kuncak, M. Mayer, P. Suter. Communications of the ACM, Volume 55, Number 2, p. 103-111, DOI: 10.1145/2076450.2076472 February 2012.
• Interactive Synthesis of Code Snippets, with T. Gvero, V. Kuncak. Proceedings of the 23rd International Conference on Computer Aided Verification - CAV 2011, Snowbird, UT, USA. Springer, LNCS Volume 6806, p. 418-423. USA.