Courses
- Computer Science I for Electrical Engineers (Spring 2026)
- Formal Methods and Functional Programming (Spring 2021, as a student TA)
Student Supervision
- Extending the Dependency Analysis towards Runtime Dependencies (Spring 2026)
andrea dot keusch at inf.ethz.ch