courses
Course units created and delivered at Manchester and the Federal University of Amazonas.
- Software Security - This course unit introduces students to basic and advanced approaches to formally build verified trustworthy software systems.
- Algorithms and Imperative Programming - This course aims to help students become confident with a range of data structures and algorithms and able to apply them in a realistic way.