Ph.D.

• The MAP/I Doctoral Programme in Computer Science. See eg. units such as PSVC.

M.Sc.

Master courses in Computer science at Minho University are built upon the concept of a specialisation course.

Each of these corresponds to a half-time academic year (30 ECTS), and are focused on a particular applicational area of computer science. Moreover, they incorporate an important project component, where the student must incorporate all the necessary skills.

HASLab group members are involved in the following courses:

• Applications Engineering
• Cryptography and Information Systems Security
• Distributed Systems
• Formal Methods in Software Engineering
• Software Analysis and Design