Sarah is a first-year Master’s student at ETH Zurich. She previously completed an internship in Cambridge, where she worked on provably correct code generation for a subset of LLVM IR formalized in Lean4. Her research interests are the application of formal methods to compilers, with a particular focus on LLVM/MLIR-based compiler backends and improving code generation.