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.