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.
Methods
Topics
Biography
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.