Dr. Ruzica Piskac

Biography

Ruzica Piskac is a Professor at Yale University in the Department of Computer Science. Her research interests encompass programming languages, software verification, automated reasoning, and code synthesis. She has notably explored the application of artificial intelligence in automated reasoning to support legal reasoning, extending the scope of formal methods beyond traditional software domains. A common thread in her work is the enhancement of software reliability and trustworthiness through formal techniques. Ruzica joined Yale in 2013 as an Assistant Professor and previously led an independent research group at the Max Planck Institute for Software Systems in Germany. In July 2019, she was honored as the Donna L. Dubinsky Associate Professor of Computer Science, a distinction awarded to the highest-ranked untenured faculty member at Yale. Throughout her career, Ruzica has received numerous accolades for her contributions to research and teaching, including the Patrick Denantes Prize for her PhD thesis and the NSF CAREER Award. She has also been recognized with the Communications of the ACM Research Highlight, the Facebook Communications Networking Award, and the Microsoft Research SEIF Award, among others. She was awarded the 2019 Ackerman Award for Teaching and Mentoring.

Research Interests