Alexander Bai
I'm Alexander Bai (白与尘). I'm currently a research intern at MPI-SWS working with Andrea Lattuada and Derek Dreyer. I finished my undergraduate studies at Tufts University majoring in computer science and mathematics, advised by Jeff Foster and David Smyth. I'm a member of TuPL, where I work on synthesizing Dafny programs with Jeff and "continuing" Wasm with Guannan1.
I'm interested in programming languages, formal methods, and automated reasoning.
I was a research intern under Bryan Parno,
working on Verus, a verification language for
Rust in summer 2023. In summer 2024, I
was a research intern under Ben
Titzer, working on a DSL for Wasm instrumentation. Both of these internships are through
the REUSE program.
Feel free to reach me at alexander.bai@tufts.edu
