Skip to main content
Ruzica Piskac

Ruzica Piskac, PhD

Faculty Member

Center for Neurocomputation and Machine Intelligence

Email | Lab | Department | ORCID

Program verification and software synthesis

Piskac's research spans programming languages, software verification, automated reasoning, and code synthesis. A common thread in her research is improving software reliability and trustworthiness using formal techniques. Scientific research today heavily relies on the use of software. However, we rarely ask if the software we are using is actually correct. Piskac's lab is working on devising novel techniques that aim to prove software correctness. Moreover, the lab is developing techniques that add additional levels of privacy and security to software verification. Finally, they investigate new domains for those techniques, such as software accountability and data integration. In particular, data integration could be interesting for Cognitive Science research because transforming data from one format to another is a common task in formal verification research.




Ruzica Piskac received her PhD in Computer Science in 2011 from EPFL, Switzerland. She joined Yale in 2013 as an assistant professor, and before that, Piskac was an independent research group leader at the Max Planck Institute for Software Systems in Germany. She became an associate professor of Computer Science in 2021. Fun fact: Piskac was a certified tourist guide in what is today known as King's Landing.