Ruzica Piskac

Ruzica Piskac is a Professor in the Department of Computer Science at Yale University. Her research interests include formal methods, verification, and automated reasoning. She is affiliated with the Yale University Computer Science department and contributes to academic study through her work in these areas. Her profile page provides further details on her research and academic contributions.

Ruzica Piskac is a professor whose research focuses on formal verification and program synthesis. Her work explores methods for automatically verifying software correctness and generating programs from specifications. Key areas include the synthesis of functional programs, heap verification, and the use of logical frameworks for automated reasoning. She has contributed to the development of tools and techniques for handling separation logic, type systems, and data structures. Her research also extends to the application of large language models in software repair and configuration file analysis. Piskac's publications emphasize the integration of logical reasoning with practical software engineering challenges.