Ruzica Piskac
Professor
Yale University
Bio
Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group. Her research focuses on software verification, security, applied cryptography, automated reasoning, legal reasoning, and code synthesis, with a particular emphasis on formal techniques to enhance software reliability and trustworthiness. Since joining Yale’s Department of Computer Science in 2013, Ruzica’s work has earned various distinctions, including the Distinguished paper award at CCS 2022, Amazon Research Awards, the Ackerman Award for Teaching and Mentoring from Yale, the Facebook Communications and Networking Award, and the Microsoft Research Award from the Software Engineering Innovation Foundation (SEIF). Before joining Yale, Ruzica was an Independent Research Group Leader at the Max Planck Institute for Software Systems in Germany. She holds a Ph.D. from the Swiss Federal Institute of Technology (EPFL), where her dissertation, supervised by Viktor Kuncak, earned the Patrick Denantes Prize.