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