Ruzica Piskac

Full Professor, Computer Science, Yale University

  • Joined July 2019

Names

Ruzica Piskac

Emails

****@yale.edu (Confirmed)

Personal Links

Career & Education History

Full Professor
Computer Science, Yale University (yale.edu)
2024 – Present
 
Associate Professor
Computer Science, Yale University (yale.edu)
2019 – 2024
 
Assistant Professor
Computer Science, Yale University (yale.edu)
2013 – 2019
 

Advisors, Relations & Conflicts

PhD Advisee
2019 – 2025
 
PhD Advisee
2018 – 2023
 
PhD Advisee
2015 – 2020
 
PhD Advisor
2007 – 2011
 

Expertise

software verification
Present
 
automated reasoning
Present
 
program synthesis
Present
 
first-order logic
Present