I'm Alexander Bai (白与尘). I'm currently a junior at Tufts University, majoring in computer science and mathematics, advised by Jeff Foster and David Smyth.
I'm interested in programming languages, formal methods, and automated reasoning.
I was a research intern under Bryan Parno on a verification-aware language for Rust summer 2023 through the REUSE program.
Feel free to reach me at alexander.bai@tufts.edu
For Summer 2024, I will be back in Pittsburgh as a research intern under Ben Titzer and Heather Miller, working on language-agnostic resilience engineering with Wasm.
I will be serving as volunteers co-chair at PLDI2024. I'm very grateful to serveral programs that made PL conferences more accessible (PLMW, SV, SIGPLAN-M), and I'm glad I'm able to contribute.
I'm a TA for a number of courses at Tufts.
CS 160 Algorithms (Spring 2024)
EN 1 Exploring Computer Science (Fall 2023)
CS 163 Computational Geometry (Fall 2023)
CS 105 Programming Languages (Spring 2023)
CS 160 Algorithms (Fall 2022)
CS 170 M1 Theory of Computation (Fall 2022)
I was a part-time translator at 3blue1brown channel at bilibili.