sarah l. kuhn
cs master student @ eth zürich. student researcher @ university of cambridge. lead student organizer at zurich ai safety.
prev. Grosser lab @University of Cambridge. mainly interested in AI security (red-teaming, adversarial ML, misuse evals) & alignment as well as AI safety post-training at scale; also always happy to chat about cryptanalysis, system security and approaches for formally verified large-scale software.
- oct 2026 i am attending the swiss ai safety days 2026 at eth zürich.
- oct 2026 i hosted a session of ai safety weekly, a paper reading group, on ai security, from jailbreaks to hijacked agents. see the slides and the vibe.
- oct 2026 i received a research stipend running until the end of march 2027 to keep working on ai security.
- oct 2026 i ran a two-day workshop for the software engineering team at ubs on how to be a better engineer with ai.
- sep 2026 bloomberg hosted me and three other eth students for a week in new york city to do research at the intersection of ml and cybersecurity. our blog post is coming soon.
- sep 2026 my internship at ubs ended, but i am staying on part-time to help write model evals for mythos and daybreak.
- aug 2026 i received the pathfinder fellowship.
- aug 2026 i am back as a teaching assistant this autumn, supporting the graduate course on large-scale ai engineering and, for the second time, compiler design.
- jun 2026 after being a member of zurich ai safety (zais), i am now its lead student organizer and part of the fall 2026 student cohort.
- apr 2026 i joined ubs as an intern working on threatdrill, a new breach-and-attack simulation tool aligned with frameworks such as mitre att&ck, focusing on emulating low-level system attacks and attacks against ai/ml systems.
- apr 2026 i gave my first technical conference talk, on my bsc thesis research, at eurollvm 2026 in dublin!
- feb 2026 i am back in research, working on ml security with prof. mullins’ group at the university of cambridge on the security and trustworthiness of today’s most powerful systems.
- sep 2025 i am a teaching assistant for prof. zhendong su this semester.
- aug 2025 i completed my bsc 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 software compilation, supervised by prof. tobias grosser (cambridge) and prof. peter müller (eth), and submitted it to eurollvm.
- jul 2025 i attended the mlir compiler summer school and the big proof conference on large-scale applied mathematics.
- mar 2025 i am 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.
- jun 2024 i 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.
- feb 2024 i am 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 | Probabilistic AI | System Security | Information Security Lab | Security Engineering | Human-Centered Privacy & Security Lab
Course projectstbd