Ruzica Piskac

About

Ruzica Piskac is an Associate Professor at Yale University in the United States. Her research areas include automated validation and fixing of programming languages, model checking, and privacy preservation in algorithmic analysis. She has contributed to various fields through her recent articles focusing on text-to-SQL translation, modular specifications, and the use of large language models for educational programming. Professor Piskac's work also emphasizes energy-aware analysis and the detection of programming misconfigurations.