About Me
I am a sixth year Computer Science PhD student in the Analysis of Computer Systems Group at NYU Courant, advised by Thomas Wies. I also work closely with Kedar Namjoshi.
My research interests include formal methods and verification, automated reasoning, and programming languages. I'm especially excited by formal methods applied to distributed systems. My thesis work focuses on building formal foundations and consistent algorithms for live updates to microservices.
I received a B.A. in Mathematics from Macaulay Honors College at Queens College.
I was lucky to do mathematics research when I was an undergraduate. I worked with Alex Kontorovich at the Rutgers DIMACS REU, and then with Andy Borum at the Cornell REU.
Here's my CV for more details.
Publications
-
Consistent Updates for Scalable Microservices
Devora Chait-Roth, Kedar S. Namjoshi, and Thomas Wies
POPL 2026 -
Constructing Trustworthy Smart Contracts
Devora Chait-Roth and Kedar S. Namjoshi
VMCAI 2025 -
Less is more: refinement proofs for probabilistic proofs
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, and Thomas Wies
IEEE S&P 2023 -
A Taxonomy of Crystallographic Sphere Packings
Devora Chait-Roth, Alisa Cui, Zachary Stier
Journal of Number Theory, February 2020