You are here: Faculty of Informatics » Admission » Master » Theoretical Computer Science

Theoretical Computer Science

Field of study: Theoretical Computer Science
Responsible person: prof. Jozef Gruska, DrSc.
Responsible workplace: Department of Computer Science

Lack of good professional staff in informatics is one of the main reasons why methods and resources in computer science have not yet bigger impact on science, engineering, medicine and other fields of society. Modern informatics is oriented on research of patterns, concepts, processes and definition of informatics world. It is very wide and deep science that should have the leading role in present science, engineering and other fields. Its global aim is understand of actions of universe, nature, complexity, evolution, life (natural and virtual), brain, intelligence, safety, etc. In the study field Theoretical computer science the presentation puts mind to present methods of computer science concentrated on their global aims. Graduates obtain knowledge and methods, which help them to orientate on big width of problems and applications in informatics, exceed basic needs from the field of programming and software systems.

Tuition structure

Tuition is composed of the set of basic courses which show to student basic techniques and knowledge of field and sets of selective courses, which offer specialization in chosen fields of computer science.
Total list of subjects you can find in electronic study catalogue. We can mention at least the following subjects:
  • Design and Analysis of Algorithms
  • Computational Complexity
  • Parallel and Distributed Systems
  • Verification and Analysis of Program Systems
  • Quantum Information Processing
  • Coding theory and Cryptography
  • Randomized and Approximation Algorithms

Laboratories

  • ParaDis - Parallel and Distributed Systems
  • Laboratory of Quantum Information Processing and Cryptography
  • Seminar on Concurrency
  • Seminary about quantum automata, algorithms and cryptography