
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
Personal website:http://www.cs.yale.edu/~piskac/
Contributions
POPL 2016 | Publicity Chair in Organizing Committee | ||||||||||||||||||||||||||||||||||||||||
VMCAI | Outreach Activities Chair in Organizing Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile