



In recognition of her significant contributions to the field of computer science, Ruzica Piskac was appointed the Donna L. Dubinsky Associate Professor of Computer Science at Yale. Piskac’s work has earned her notoriety on the international stage. Her research interests include programming language, software verification, automated reasoning, and code synthesis. She joined Yale in 2013.