Prof. Ruzica Piskac — Research Profile
Yale University · Computer Science
Graduate application deadlines
Computer Science
PhD in Computer Science
Fall 2027Application deadline
Dec 15, 2026
MS in Computer Science
Fall 2027Application deadline
Jan 2, 2027
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Ruzica Piskac at Yale University Computer Science lists programming languages, software verification, automated reasoning, code synthesis as their registered research area.
Research keywords
Recent papers
- Deogen: Automatic Benchmark Generation for Reasoning over PoliciesNewPreprintarXiv (Cornell University) · Oct 28
- Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network GuaranteesPreprintarXiv (Cornell University) · Aug 17
- Learning GR(1) Specifications from TracesPreprintarXiv (Cornell University) · Aug 6
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Clark Barrett Lab
Stanford University · Computer Science
Solving LIA⋆ Constraints Using Hilbert BasesOAPEN (The OAPEN Foundation) · Sep 1Shared topic: Formal Methods in Verification
Julian McAuley Lab
University of California, San Diego · Department of Computer Science and Engineering
How Hard Does It Think? Analyzing Step-Aware Reasoning Energy in LLM Chain-of-Thought TrajectoriesPreprintarXiv (Cornell University) · Jul 28Shared topic: Adversarial Robustness in Machine Learning
Sanmi Koyejo Lab
Stanford University · Computer Science
REACT: Representational Early Analysis and Control of Chain-of-Thought TrajectoriesNewPreprintarXiv (Cornell University) · Oct 23Shared topic: Adversarial Robustness in Machine Learning
Other labs in this department
- Abraham Silberschatz Lab
database systems, operating systems, Bioscience database systems, storage system, network management, distributed systems
- A. Feder Cooper Lab
Scalable machine learning, Security, Privacy, Machine learning systems, AI policy
- Alex Lew Lab
principled probabilistic reasoning, probabilistic and differentiable programming languages
- Alex Wong Lab
Sensor fusion, unsupervised learning, 3D vision, robust vision under adverse conditions, medical image analysis
- Andre Wibisono Lab
algorithms for machine learning, optimization, sampling, game dynamics
- Anurag Khandelwal Lab
Operating Systems, Distributed Systems, Databases, Computer Networks