Thomas Wies 교수 연구 프로필
대학원 지원 마감
컴퓨터과학과
PhD in Computer Science
Fall 2027지원 마감
2026년 12월 12일
원문에 연도가 없어요 — 이번 사이클 날짜인지 원문에서 확인하세요.
GSAS를 통해 지원 · Fall 2026부터 Courant·Tandon CS 박사과정이 하나로 통합
출처: cs.nyu.edu2026년 11월 2일 확인
이 연구실, 지원을 고민 중인가요?
관심 연구실에 담아 다른 연구실과 나란히 비교하세요. 아래 논문마다 한 줄 메모를 남기면 지원 준비함이 교수님께 보낼 컨택 메일·자기소개서 재료로 모아 줘요. 글은 직접 쓰고, AI는 쓰지 않아요.
컨택 메일 보내기 전 체크리스트소개
뉴욕 대학교 컴퓨터과학과 소속 Thomas Wies 교수의 등록된 연구 분야는 Program analysis and verification, automated deduction, concurrent software, software productivity입니다.
연구 키워드
최근 논문
- Implementability of Global Distributed Protocols Modulo Network ArchitecturesProceedings of the ACM on Programming Languages · 6월 8일
- Consistent Updates for Scalable MicroservicesProceedings of the ACM on Programming Languages · 1월 8일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Distributed systems and fault tolerance
Natacha Crooks 교수 연구실
캘리포니아 대학교 버클리 · 전기컴퓨터공학부
DistOptimize: Automatic Optimization of Distributed Protocols새 논문프리프린트arXiv (Cornell University) · 10월 28일Christopher Brinton 교수 연구실
퍼듀 대학교 · 전기컴퓨터공학부
Fresh Memory, Stale Plans: Derivation Currency for Distributed LLM-Agent Memory프리프린트arXiv (Cornell University) · 9월 3일Alex Aiken 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based SystemsProceedings of the ACM on Programming Languages · 10월 1일
같은 학과의 다른 연구실
- Alan Siegel 교수 연구실
VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, combinatorial geometry
- Allen Liu 교수 연구실
Machine Learning Theory, Algorithms, Quantum Information
- Andrew Gordon Wilson 교수 연구실
Machine learning, Bayesian statistics, numerical linear algebra
- Anirudh Sivaraman 교수 연구실
Programmable routers, computer networks, hardware and software for computer systems
- Anupam Gupta 교수 연구실
Algorithms, Theoretical Computer Science, Metric Embeddings
- Aurojit Panda 교수 연구실
Distributed systems, systems, networking