This repository contains my course materials, specifically for
- Algorithms and Data Structures (AaDS)
- Secure and Dependable Systems (SaDS)
- various courses on logic
All announcements by me will and all non-personal student questions should be made via issues in this repository.