Ruzica Piskac

Ruzica Piskac


Associate Professor of Computer Science (tenured)

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