Ruzica Piskac

Ruzica Piskac is an Associate Professor at Yale University, specializing in computer science with a focus on foundational and applied research in algorithms, programming languages, and system verification. Her work spans cyber-physical systems, distributed and networked systems, and security & privacy. She contributes to advancing formal methods and their application to real-world systems.

Her research interests include theoretical computer science, logic, and the development of tools for ensuring correctness and security in software and hardware systems. Though specific educational background or grants are not detailed in the provided text, her affiliation with Yale positions her within leading academic circles.