About Me
I am a fifth 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 distributed systems.
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
-
Constructing Trustworthy Smart Contracts
Devora Chait-Roth and Kedar S. Namjoshi
To appear in 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2025 -
Less is more: refinement proofs for probabilistic proofs
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, and Thomas Wies
Proceedings of IEEE Symposium on Security and Privacy (IEEE S&P), 2023 -
A Taxonomy of Crystallographic Sphere Packings
Devora Chait-Roth, Alisa Cui, Zachary Stier
Journal of Number Theory, February 2020