Winnie Zhou ’27

She conducts research with the Wellesley Programming Systems Lab and MIT CSAIL’s Programming Languages and Verification Group, focusing on formal verification—the use of mathematical proof to ensure that critical software behaves as intended for the public good. Recent work includes A Tensor Language, a small language for matrix and tensor computations, where she helped make scientific code more reliable—an essential foundation for globally impactful areas like health, climate, and education. Her international experiences—a programming-language conference in South Korea and a summer school in Oregon—have strengthened her commitment to cross-cultural collaboration in technology. She also broadened her global perspective at the Graz International Summer School and UC Irvine’s Logic & Philosophy of Science program. Looking ahead, Winnie aims to pursue advanced study and build safer, more equitable digital systems in partnership with institutions that serve communities worldwide—work she sees as core to responsible global citizenship.