You are here: Faculty of Informatics » Admission » Master » Parallel and Distributed Systems

Parallel and Distributed Systems

Field of study: Parallel and Distributed Systems
Responsible person: prof. RNDr. Mojmír Křetínský, CSc.
Responsible workplace: Department of Computer Science

The study field provides education in parallel (concurrent) and distributed systems with special view to elementals and using of formal methods and derivate SW tools used for modelling, specification, analysis and verification these computational systems. It provides a balance of theoretical foundations and practical skills required for design, implementation, analysis, testing, and running of concurrent and distributed systems. The study field also furnishes general knowledge and methods usable in study in doctoral programmes and in future learning about development of computational and communication systems. A recommended part of the study field is a project accomplished in a small team and oriented to a prototype or experimental solution of a problem from the study field.

Tuition structure

Within basic required subjects common for all master study fields at FI, students enrol required subjects of study field, which offer to them basic knowledge specific for this study field: specification, design, verification and implementation of parallel systems, programming of parallel and distributed counting, communication, data security. Students also extend their knowledge of field by choosing of selective and other courses with more theoratical or practical orientation. Completion of reguired courses of Bachelor study field Parallel and Distributed Systems (IB109, IV100, IV112 and IV113) are advantage but it is not demanded.

Total list of subjects you can find in electronic study catalogue. We can mention at least the following subjects:
  • Applied Cryptography
  • Modal and Temporal Logics for Processes
  • Real Time Systems
  • Formal Verification Methods
  • Distributed Systems and Middleware
  • Net-Centric Computing

Laboratory

Students of this study field can be involved to the activities of Parallel and distributed systems laboratory (ParaDiSe) and Institute of Theoretical Computer Science (ITI), which in some research activities cooperates also with number of industrial partners oriented on development and operation of high tech computer and communication technologies. In these partner organization graduates of study field could find also a future placement.