The master in Distributed Systems was organized in 2001 and it aims at training computer science graduates, in order to provide them with designing, implementation and verification techniques for distributed systems. This computer science field has evolved significantly in the recent years and the MA of Distributed Systems has aligned to the new requirements. Thus, the latest fields are found in the courses that can be followed in the curriculum of this study program: Cloud Programming Models and Paradigms, Distributed operating systems, Distributed Event Based Systems, Engineering aspects of Cloud Systems, Blockchain fundaments and applications or Security and Privacy problems within the area of distributed systems.

Study Plan 2018-2020 (detailed version)

General fundamental disciplines, specialized and complementary fundamental disciplines will be chosen from the following packages:

General fundamental disciplines – semester I

Fundamental disciplines for distributed systems – semester I

  • Distributed Operating Systems, Syllabus
  • Web Application Development, Website

Fundamental disciplines for distributed systems – semester II

  • Models of Distributed Systems, Syllabus
  • Distributed System Specification and Verification, Syllabus
  • Advanced Topics of Machine Learning, Syllabus
  • Workflow. Modelling, Verification, Security
  • Security Protocols. Modelling and Verification, Syllabus, Website
  • Pragmatic Aspects in Engineering of Cloud Systems
  • Event-based Systems, Syllabus
  • Concurrent and distributed programming, Syllabus

Complementary specialized disciplines – semester I