Ruzica Piskac 교수 연구 프로필
대학원 지원 마감
컴퓨터과학과
PhD in Computer Science
Fall 2027지원 마감
2026년 12월 15일
MS in Computer Science
Fall 2027지원 마감
2027년 1월 2일
지원비 면제 요청 마감도 1/2
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
예일 대학교 컴퓨터과학과 소속 Ruzica Piskac 교수의 등록된 연구 분야는 programming languages, software verification, automated reasoning, code synthesis입니다.
연구 키워드
최근 논문
- Deogen: Automatic Benchmark Generation for Reasoning over Policies새 논문프리프린트arXiv (Cornell University) · 10월 28일
- Certified but Private: Scalable Zero-Knowledge Proofs for Neural Network Guarantees프리프린트arXiv (Cornell University) · 8월 17일
- Learning GR(1) Specifications from Traces프리프린트arXiv (Cornell University) · 8월 6일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Solving LIA⋆ Constraints Using Hilbert BasesOAPEN (The OAPEN Foundation) · 9월 1일겹치는 주제: Formal Methods in Verification
Julian McAuley 교수 연구실
캘리포니아 대학교 샌디에이고 · 컴퓨터공학과
How Hard Does It Think? Analyzing Step-Aware Reasoning Energy in LLM Chain-of-Thought Trajectories프리프린트arXiv (Cornell University) · 7월 28일겹치는 주제: Adversarial Robustness in Machine Learning
Sanmi Koyejo 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
REACT: Representational Early Analysis and Control of Chain-of-Thought Trajectories새 논문프리프린트arXiv (Cornell University) · 10월 23일겹치는 주제: Adversarial Robustness in Machine Learning
같은 학과의 다른 연구실
- Abraham Silberschatz 교수 연구실
database systems, operating systems, Bioscience database systems, storage system, network management, distributed systems
- A. Feder Cooper 교수 연구실
Scalable machine learning, Security, Privacy, Machine learning systems, AI policy
- Alex Lew 교수 연구실
principled probabilistic reasoning, probabilistic and differentiable programming languages
- Alex Wong 교수 연구실
Sensor fusion, unsupervised learning, 3D vision, robust vision under adverse conditions, medical image analysis
- Andre Wibisono 교수 연구실
algorithms for machine learning, optimization, sampling, game dynamics
- Anurag Khandelwal 교수 연구실
Operating Systems, Distributed Systems, Databases, Computer Networks