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.