Zachary Kincaid 교수 연구 프로필
대학원 지원 마감
컴퓨터과학과
Ph.D. in Computer Science
Fall 2027지원 마감
2026년 12월 15일 23:59 GMT-5
Fall 2027은 M.S.E. 지원을 받지 않음
출처: gradschool.princeton.edu2026년 11월 2일 확인
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
프린스턴 대학교 컴퓨터과학과 소속 Zachary Kincaid 교수의 등록된 연구 분야는 Programming Languages & Compilers입니다.
연구 키워드
최근 논문
- Kleene Algebra with Transitive Commutativity Conditions프리프린트arXiv (Cornell University) · 7월 10일
- Network Analysis with Parametric NetKAT프리프린트arXiv (Cornell University) · 7월 10일
- A Categorical Basis for Robust Program AnalysisProceedings of the ACM on Programming Languages · 6월 8일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Zachary Tatlock 교수 연구실
워싱턴 대학교 · 컴퓨터공학과
egg: Fast and Extensible Equality SaturationCommunications of the ACM · 7월 29일Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · 9월 1일Inigo Incer 교수 연구실
미시간 대학교 · 전기컴퓨터공학과
Computing GR(1) Assume-Guarantee Contracts새 논문프리프린트arXiv (Cornell University) · 10월 27일
같은 학과의 다른 연구실
- Aarti Gupta 교수 연구실
Programming Languages & Compilers
- Abhishek Bhattacharjee 교수 연구실
Computational Biology, Systems & Networking, Computer Architecture
- Adam Finkelstein 교수 연구실
Vision & Graphics, Human-Computer Interaction
- Adji Bousso Dieng 교수 연구실
Machine Learning, Computational Biology, Natural Language Processing
- Aleksandra Korolova 교수 연구실
Machine Learning, Theory, Security & Privacy, Economics & Computation, Law & Public Policy
- Alex Lombardi 교수 연구실
Theory, Quantum Computing