Ruzica Piskac
Assistant Professor
Yale University
51 Prospect Street
New Haven, CT 06511


Phone: (203) 432 8001


Teaching    ·    Research    ·    Publications    ·    Students    ·    Service


Ruzica Piskac is an assistant professor (tenure-track) at Yale, Computer Science Department. Her research interests span the areas of programming languages, software verification, automated reasoning, and code synthesis. A common thread in Ruzica's research is improving software reliability and trustworthiness using formal techniques.

Prior to joining Yale, Ruzica was an independent research group leader at the Max Planck Institute for Software Systems (MPI-SWS) in Germany (January 2012-August 2013). She was head of the Synthesis, Analysis and Automated Reasoning Group.

Ruzica did her graduate studies at EPFL, Switzerland (2007-2011), where she worked under the supervision of Viktor Kuncak. She was awarded the Patrick Denantes Memorial Prize for her PhD dissertation. She holds a Master's degree in Computer Science, obtained from the University of Saarland (supervised by Harald Ganzinger at Max-Planck Institute for Computer Science) in Saarbruecken, Germany, as well as a Master's degree in mathematics from the University of Zagreb, Croatia.