GradNova

R

Ruzica Piskac

Professor

Computer Science, Yale University

Research Interests

Advanced Software Engineering Methodologies

Constraint Satisfaction and Optimization

Formal Methods in Verification

Academic Metrics

Links

Grants