Suggestions
Ruzica Piskac
Assistant Professor at Yale University
Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group.12 Her career at Yale began in 2013 when she joined as an Assistant Professor.5 In 2019, she was named the Donna L. Dubinsky Associate Professor of Computer Science.1
Academic Background
Piskac holds a Ph.D. in Computer Science from the Swiss Federal Institute of Technology (EPFL), which she obtained in 2011.13 Her doctoral dissertation, supervised by Viktor Kuncak, won the Patrick Denantes Prize.2
Research Interests
Her research interests span several areas of computer science, including:
- Software verification
- Security and applied cryptography
- Automated reasoning
- Code synthesis
- Programming languages
A common thread in her research is improving software reliability and trustworthiness using formal techniques.13
Professional Experience
Before joining Yale, Piskac was an Independent Research Group Leader at the Max Planck Institute for Software Systems in Germany from 2012 to 2013.12
Achievements and Recognition
Piskac has received numerous awards and honors for her work, including:
- Multiple Amazon Research Awards
- Yale University's Ackerman Award for Teaching and Mentoring
- Facebook Communications and Networking Award
- Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF)
- Distinguished Paper Award at CCS 202212
Teaching and Mentorship
Piskac has graduated five Ph.D. students, four of whom currently hold positions as assistant professors of computer science.1
Additional Roles
In addition to her position in the Computer Science department, Piskac also serves as a Professor (Adjunct) of Law at Yale Law School.4
