My research interests include formal methods and verification, automated reasoning, and programming languages. I'm especially excited by cloud- and security-relevant questions. Recently, I've been working with refinements: applications to probabilistic proofs, and refinement proof automation.
I was lucky to do research in pure and applied mathematics when I was an undergraduate. I built the first systematic catalog of crystallographic sphere packings at the Rutgers DIMACS REU in summer 2018, mentored by Alex Kontorovich. Then, I studied stable paths of continuous deformations of elastic rods under gravity at the Cornell REU in summer 2019, mentored by Andy Borum.
Here's my CV for more details.
Less is more: refinement proofs for probabilistic proofsKunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, and Thomas Wies
To appear in Proceedings of IEEE Symposium on Security and Privacy (IEEE S&P), 2023
A Taxonomy of Crystallographic Sphere PackingsDevora Chait-Roth, Alisa Cui, Zachary Stier
Journal of Number Theory, February 2020