Zachary Tatlock 교수 연구 프로필
대학원 지원 마감
컴퓨터공학과
PhD in Computer Science & Engineering
Fall 2027지원 마감
2026년 12월 15일 23:59 GMT-8
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
GRE 미수용 · 연 1회 가을 입학만 · 보장은 3년
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
워싱턴 대학교 컴퓨터공학과 소속 Zachary Tatlock 교수의 등록된 연구 분야는 Fabrication, Formal Methods, Programming Languages입니다.
연구 키워드
최근 논문
- Vectorizing Recurrences over Semirings새 논문프리프린트arXiv (Cornell University) · 11월 2일
- When Double Rounding is Correct프리프린트arXiv (Cornell University) · 10월 6일
- Efficient Extraction for Effectful E-graphsProceedings of the ACM on Programming Languages · 10월 1일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · 9월 1일겹치는 주제: Logic, programming, and type systems
Yufei Ding 교수 연구실
캘리포니아 대학교 샌디에이고 · 컴퓨터공학과
Argus: Orchestrating Cross-Layer GPU Performance Measurements around Semantic Regions프리프린트arXiv (Cornell University) · 9월 11일겹치는 주제: Parallel Computing and Optimization Techniques
Martin Rinard 교수 연구실
매사추세츠 공과대학교 · 전기컴퓨터공학부
Program Analysis with Prophecy and History Variables in the Nexis Compiler프리프린트arXiv (Cornell University) · 7월 25일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- Abhishek Gupta 교수 연구실
Computer Vision, Machine Learning, Robotics
- Ali Farhadi 교수 연구실
Computer Vision, Knowledge Representation & Reasoning, Machine Learning, Natural Language Processing
- Amy Zhang 교수 연구실
Human-Centered AI, Human Computer Interaction, Social Computing
- Andrea Coladangelo 교수 연구실
Quantum Computing, Cryptography
- Andres Erbsen 교수 연구실
Formal Methods, Programming Languages, Security & Privacy
- Anna R. Karlin 교수 연구실
Algorithms