Ruzica Piskac

Ruzica Piskac is a Professor of Computer Science at Yale University, leading the Rigorous Software Engineering (ROSE) group. She previously held an Independent Research Group Leader position at the Max Planck Institute for Software Systems (2012–2013) and earned her PhD from EPFL (2011), awarded the Patrick Denantes Prize for her thesis on decision procedures for program synthesis and verification.

Her research focuses on improving software reliability and trustworthiness through formal methods, encompassing software verification, automated reasoning, applied cryptography, and code synthesis. Notable honors include multiple Amazon Research Awards, the Yale Ackerman Award, and the Microsoft Research Award. She currently serves as Program Chair for the International Conference on Computer Aided Verification (CAV 2024) and on the Steering Committee for Formal Methods in Computer-Aided Design (FMCAD).

• Education: PhD in Computer Science (EPFL, 2011), MSc in Computer Science (Saarland University, 2005)
• Key Projects: ROSE group’s work on legal accountability for automated decisions (soid tool), privacy-preserving model checking, and quantum computing security
• Professional Activities: Editorial roles for conferences like LPAR, FMCAD, and VMCAI

Her research group has graduated five PhD students, four now holding assistant professor roles. Current projects include formal XAI via syntax-guided synthesis, privacy-preserving cryptographic protocols, and quantum circuit vulnerability analysis.