Dr. Ruzica Piskac

Biography

Ruzica Piskac is a Professor of Computer Science at Yale University, where her research interests encompass programming languages, software verification, automated reasoning, and code synthesis. Her work focuses on using artificial intelligence to automate reasoning processes that support legal reasoning, extending the application of formal methods beyond traditional software domains. A key objective of her research is to enhance the reliability and trustworthiness of software through formal techniques. She joined Yale as an assistant professor in 2013 after serving as the leader of an independent research group 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, a prestigious honor for untenured faculty at Yale. Ruzica has received multiple accolades for her research and teaching, including the Patrick Denantes Prize for her PhD thesis, the CCS Distinguished Paper Award, and several awards from NSF and research corporations. Her selected publications include works on automating Separation Logic and interactive synthesis of code snippets, showcasing her contributions to the field of programming and software engineering.

Research Interests