Justin Hsu 교수 연구 프로필
대학원 지원 마감
컴퓨터과학과
Ph.D. in Computer Science
Fall 2027지원 마감
2026년 12월 15일
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
가을 입학만
출처: cs.cornell.edu2026년 11월 2일 확인M.S. in Computer Science
Fall 2027지원 마감
2027년 1월 18일
마감일은 Cornell 2026-2027 카탈로그 기준(연도 표기 없음)
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
코넬 대학교 컴퓨터과학과 소속 Justin Hsu 교수의 등록된 연구 분야는 Programming Languages, Security, Theory of Computing입니다.
연구 키워드
최근 논문
- SafePar: Monitoring Asynchrony in Microservices프리프린트arXiv (Cornell University) · 9월 27일
- SafeNom: Data-Aware Microservice Policies프리프린트arXiv (Cornell University) · 9월 24일
- Synthesizing Backward Error Bounds, BackwardProceedings of the ACM on Programming Languages · 6월 8일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Vyas Sekar 교수 연구실
카네기멜런 대학교 · 전기컴퓨터공학과
Agentic RCA for Internet-Scale Services Using Constrained Creativity프리프린트arXiv (Cornell University) · 10월 6일겹치는 주제: Software System Performance and Reliability
Zachary Tatlock 교수 연구실
워싱턴 대학교 · 컴퓨터공학과
egg: Fast and Extensible Equality SaturationCommunications of the ACM · 7월 29일겹치는 주제: Logic, programming, and type systems
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
CSLib: Building a Platform for AI-assisted Formal Verification in LeanOAPEN (The OAPEN Foundation) · 9월 1일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- Abe Davis 교수 연구실
Graphics, Human Interaction, Vision
- Adrian Sampson 교수 연구실
Architecture, Programming Languages
- Alexandra Silva 교수 연구실
Programming Languages, Security, Software Engineering, Theory of Computing
- Alex Conway 교수 연구실
Systems + Networking, Theory of Computing
- Andrew Myers 교수 연구실
Programming Languages, Security, Systems + Networking
- Andrew Owens 교수 연구실
Artificial Intelligence (AI), Graphics, Vision