Stephen Chong 교수 연구 프로필
대학원 지원 마감
컴퓨터과학과
PhD in Computer Science
Fall 2027지원 마감
2026년 12월 15일 17:00
GRE 선택(Optional)
출처: gsas.harvard.edu2026년 11월 2일 확인
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
하버드 대학교 컴퓨터과학과 소속 Stephen Chong 교수의 등록된 연구 분야는 Computation and Society, Programming Languages, Systems, Networks, Databases, Privacy & Security입니다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Logic, programming, and type systems
Cyrus Omar 교수 연구실
미시간 대학교 · 컴퓨터공학과
Bidirectional Type Slicing프리프린트arXiv (Cornell University) · 7월 13일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일
같은 학과의 다른 연구실
- Anurag Anshu 교수 연구실
Theory of Computation, Quantum Computing
- Ariel Procaccia 교수 연구실
Economics and Computation, Theory of Computation, Artificial Intelligence, Computation and Society
- Boaz Barak 교수 연구실
Machine Learning, Theory of Computation, Artificial Intelligence, Quantum Computing
- Cynthia Dwork 교수 연구실
Theory of Computation, Computation and Society, Artificial Intelligence, Machine Learning, Computational and Data Science, Privacy & Security
- David Alvarez-Melis 교수 연구실
Machine Learning, Artificial Intelligence, Computation and Society, Computational and Data Science, Computational Linguistics and Natural-Language Processing
- David Brooks 교수 연구실
Computer Engineering and Architecture