Write a Blog >>
Ruzica Piskac

Registered user since Wed 25 Jun 2014

Name:Ruzica Piskac
Bio:

Ruzica Piskac is an assistant professor (tenure-track) at Yale, Computer Science Department. Her 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.

Affiliation:Yale University

Contributions

Show activities from other conferences

POPL 2016-profile
View general profile