sarah linh kuhn
cs master student @ eth zürich.
Majoring in secure & reliable systems and machine intelligence. My research and professional interests include software verification & specification (e.g. Lean4, LLVM/MLIR), AI security especially computer-use AI, LLM attacks & defenses via policy generation/enforcement, as well as AI interpretability.
- Apr 2026 Joined UBS as a research software engineering intern working on secure agentic AI, within the Trade & Transfer Asset team.
- Apr 2026 Giving my first-ever technical conference talk on my BSc thesis research at EuroLLVM 2026 in Dublin!
- Feb 2026 Soooo excited to get back into research and dive deep into my ML security interest and work on computer-use AI security with Prof. Mullins' group at the University of Cambridge.
- Sept 2025 I'm teaching assistant for Compiler Design under Prof. Zhendong Su this semester.
- Aug 2025 Yeay, I completed my BSc degree in Computer Science at ETH Zürich and am continuing at ETH for my master's degree.
- Aug 2025 I completed my bachelor's thesis on Lean4-verified LLVM/MLIR compilation, supervised by Prof. Tobias Grosser (Cambridge) and Prof. Peter Müller (ETH), and submitted it to EuroLLVM.
- Jul 2025 Attended the MLIR Compiler Summer School and the Big Proof conference on large-scale applied mathematics.
- March 2025 Spending the next six months as a visiting student researcher at the University of Cambridge, working with Prof. Tobias Grosser on software verification with the Lean4 proof assistant.
- June 2024 Joined CSNow, ETH's Computer Science Network of Women, as a teaching assistant supporting girls in CS.
- May 2024 I received the VIS Teaching Award for my work as a TA in Parallel Programming under Prof. Torsten Hoefler and Prof. Barbara Solenthaler at ETH Zürich.
- Feb 2024 Excited to be a student teaching assistant for Parallel Programming with Prof. Torsten Hoefler and Prof. Barbara Solenthaler this semester.
BScDiscrete Mathematics | Intro to Programming | Algorithms & Data Structures | Linear Algebra | Analysis 1, 2 & 3 | Parallel Programming | Digital Design & Computer Architecture | Algorithms & Probability | Intro to Neuroinformatics | Theoretical CS | Systems Programming | Numerical Methods for CS | Formal Methods & Functional Programming | Database Systems | Probability & Statistics | Computer Networks | Rigorous Software Engineering | Information Security | Compiler Design | Intro to ML | Neuronal Networks & Computational Complexity
MScSecure & Reliable AI | Large Language Models | Advanced Systems Lab | Big Data | Large-Scale AI Engineering