Registered user since Wed 25 Jun 2014
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.
|VMCAI||Outreach Activities Chair in Organizing Committee|
|POPL 2016||Publicity Chair in Organizing Committee|
|Show activities from other conferences|
View general profile