Scholar
Ruzica Piskac
Google Scholar ID: 71RQt3sAAAAJ
Professor
Citations & Impact
Citations
1,420
H-index
21
i10-index
42
Publications
20
Co-authors
15
list available
Publications
Resume (English only)
Academic Achievements
- Recipient of 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)
- Named Donna L. Dubinsky Associate Professor of Computer Science at Yale in 2019
- Program Chair of the 37th International Conference on Computer Aided Verification (CAV)
- Member of the Steering Committee of the Formal Methods in Computer-Aided Design (FMCAD) conference
- Graduated five PhD students, four of whom are now assistant professors in computer science
- Recent publications at top venues including OOPSLA'24, USENIX'24, and CAV'24
Background
- Professor of Computer Science at Yale University
- Leads the Rigorous Software Engineering (ROSE) group
- Research interests span software verification, security and applied cryptography, automated reasoning, and code synthesis
- Focuses on using formal techniques to improve software reliability and trustworthiness
- Joined Yale’s Department of Computer Science in 2013
