Prof. Thomas Wies — Research Profile
New York University · Department of Computer Science (Courant Institute of Mathematical Sciences)
Graduate application deadlines
Department of Computer Science (Courant Institute of Mathematical Sciences)
PhD in Computer Science
Fall 2027Application deadline
Dec 12, 2026
No year on the page — check the original to confirm these dates are for this cycle.
Source: cs.nyu.eduChecked Nov 2, 2026
Considering this lab for grad school?
Save it to compare side by side with other labs. Jot a one-line note under each paper below — Application prep gathers your notes into an outline for your email to the PI and your statement of purpose. You do the writing; no AI.
What to prepare before emailing a PIAbout
Prof. Thomas Wies at New York University Department of Computer Science (Courant Institute of Mathematical Sciences) lists Program analysis and verification, automated deduction, concurrent software, software productivity as their registered research area.
Research keywords
Recent papers
- Implementability of Global Distributed Protocols Modulo Network ArchitecturesProceedings of the ACM on Programming Languages · Jun 8
- Consistent Updates for Scalable MicroservicesProceedings of the ACM on Programming Languages · Jan 8
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Distributed systems and fault tolerance
Natacha Crooks Lab
University of California, Berkeley · Electrical Engineering and Computer Sciences
DistOptimize: Automatic Optimization of Distributed ProtocolsNewPreprintarXiv (Cornell University) · Oct 28Christopher Brinton Lab
Purdue University · Elmore Family School of Electrical and Computer Engineering
Fresh Memory, Stale Plans: Derivation Currency for Distributed LLM-Agent MemoryPreprintarXiv (Cornell University) · Sep 3Alex Aiken Lab
Stanford University · Computer Science
Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based SystemsProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- Alan Siegel Lab
VLSI design, analysis of algorithms, lower bounds, parallel algorithms, probability, combinatorial geometry
- Allen Liu Lab
Machine Learning Theory, Algorithms, Quantum Information
- Andrew Gordon Wilson Lab
Machine learning, Bayesian statistics, numerical linear algebra
- Anirudh Sivaraman Lab
Programmable routers, computer networks, hardware and software for computer systems
- Anupam Gupta Lab
Algorithms, Theoretical Computer Science, Metric Embeddings
- Aurojit Panda Lab
Distributed systems, systems, networking