Ruzica Piskac

Ruzica Piskac


The Donna L. Dubinsky Associate Professor of Computer Science

Associate Professor on Term

Yale University

51 Prospect Street, office AKW 212

New Haven, CT 06511


Email:
Phone: +1-203-432-8001


Curriculum Vitae

Research

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