Ruzica Piskac

Ruzica Piskac

Associate Professor of Computer Science (tenured)

Yale University

51 Prospect Street, office AKW 212

New Haven, CT 06511

Phone: +1-203-432-8001

Curriculum Vitae


Ruzica Piskac's research interests span the areas of programming languages, software verification, automated reasoning, and code synthesis. A common thread in Ruzica's research is improving software reliability and trustworthiness using formal techniques.

On-going Projects

Research projects are described on the group website

Funding sponsors