Alexander Bai (白与尘)
I'm a PhD student at NYU Courant, advised by Joseph Tassarotti. I'm interested in programming languages, formal methods, 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 of these internships are through the REUSE program.
In 2025, I was a research intern at MPI-SWS working with Andrea
Lattuada and Derek Dreyer.
Feel free to reach me at alexander.bai@nyu.edu
