Alexander Bai (白与尘)
I'm a PhD student at NYU Courant, advised by Joseph Tassarotti. I'm interested in programming languages, formal verification, and automated reasoning. I also have a lasting interest in probabilistic programming languages. I'm fortunate to be supported by NSF GRFP.
I finished my undergrad at Tufts University, majoring in computer science and mathematics. I was a member of TuPL, where I worked with Jeff Foster and Guannan Wei1.
I was a research intern at Bryan Parno's Secure Foundations Lab (2023), and at Ben Titzer's group (2024), both through the REUSE program. In 2025, I was a research intern at MPI-SWS working with Andrea Lattuada and Derek Dreyer. I'm an applied scientist intern at AWS ARG working on resource analysis using Verus in Summer 2026.
Feel free to reach me at ayb5065@nyu.edu.
