Faculty of Mathematics, Physics
and Informatics
Comenius University Bratislava

Computer Science

Doctoral Degree Program


Computer Science


full time / external

Usual duration:

full time form 4 years, external form 5 years

Program director:

prof. RNDr. Rastislav Kráľovič, PhD.

Related study programs: master's degree programs Computer ScienceApplied Informatics

Description of the Study Program

The PhD program in Informatics is designed to attract students who want to solve computer science problems that have no satisfactory solution yet, or that have not yet been formulated at all. For the students it is an opportunity to find an area of informatics that is most appealing to them, focus on a specific problem, and devote their energy and efforts during the years of their studies to the solution of the problem. The direction of the research is coordinated with a supervisor, whose main role is to guide and support the student in his/her research. In cooperation with the respective department, the supervisor aims to provide best research conditions for the student.

Currently, this PhD program is focused mainly on the following areas: theoretical computer science, security of information systems, artificial intelligence, computer graphics, bioinformatics, and cognitive science.

Prospective students should apply for particular theses topics. Oftentimes, supervisors adjust the direction of the topic to suite the interests of the candidate. An early contact with a potential supervisor is an important step towards choosing a mutually interesting topic, and subsequently, toward a successful completion of the studies.

Doctoral Scholarships

Full-time doctoral students who have permanent residency in the European Union are entitled to receive a scholarship for the entire standard duration of their studies. The scholarships are paid starting on the date of enrollment. The scholarship is determined in accordance with the tables included in the Law no. 553/2003 Z.z. as follows: 

  • prior to completion of the qualification exam: 807,50 EUR (6th class, 1st level)
  • after successful completion of the qualification exam: 940,50 EUR (7th class, 1st level)

Scholarships are not subject to taxes or other fees.

Doctoral studies are considered an equivalent to full time employment and in the majority of cases cannot be combined with another employment. Job holding applicants who intend to keep their job are advised to apply for the external (distance) form of doctoral studies. Doctoral students enrolled in the regular form are expected to participate in teaching activities such as conducting recitations or exam grading, in accordance with the needs of their corresponding departments.

Thesis Topics for Academic Year 2022/2023

  • Computational analysis of large-scale datasets related to multiple sclerosis
    supervisor: doc. Mgr. Bronislava Brejová, PhD.
  • Application of Neural Network Algorithms for Efficient Identification of Space Objects Close Conjunction Events
    supervisor: prof. RNDr. Roman Ďurikovič, PhD.
  • Science Image Recognition Algorithms for all-sky Meteor Camera Systems
    supervisor: prof. RNDr. Roman Ďurikovič, PhD.
  • Training the humanoid robot in multimodal interaction with a human
    supervisor: prof. Ing. Igor Farkaš, Dr.
  • Virtual Museum Activisation and Usability
    supervisor: doc. RNDr. Andrej Ferko, PhD.
  • Biologically motivated computational models
    supervisor: doc. RNDr. Damas Gruska, PhD.
  • Formal methods for verifications and specifications of concurrent and parallel systems 
    školiteľ  doc. RNDr. Damas Gruska, PhD.
  • Security - formal approach
    supervisor: doc. RNDr. Damas Gruska, PhD.
  • Safety, security, privacy and its quantification
    supervisor: doc. RNDr. Damas Gruska, PhD.
  • Automated deduction in many-valued logics
    supervisor: doc. RNDr. Dušan Guller, PhD.
  • Abductive reasoning with ontologies based on a reverse consequence calculus
    supervisor: doc. RNDr. Martin Homola, PhD.
  • Reasoning algorithms for ontologies and description logics
    supervisor: doc. RNDr. Martin Homola, PhD.
  • Neural-symbolic reasoning techniques in knowledge representation
    supervisor: doc. RNDr. Martin Homola, PhD.
  • AI methods in computer games
    supervisor: doc. RNDr. Martin Homola, PhD.
  • Malware Detection Based on Explainable AI
    supervisor: doc. RNDr. Martin Homola, PhD.
  • Advice complexity of computational models
    supervisor: prof. RNDr. Rastislav Kráľovič, PhD.
  • Models of computation: Non-uniformity and Data-dependence
    prof. RNDr. Rastislav Kráľovič, PhD.
  • Machine learning methods in smart grid data processing
    supervisor: prof. RNDr. Mária Lucká, PhD.
  • Informatics tools for processing large genomic data
    supervisor: prof. RNDr. Mária Lucká, PhD.
  • Algorithms on cubic graphs
    supervisor: doc. RNDr. Robert Lukoťka, PhD.
  • Edge colourings and some conjectures in graph theory
    supervisor: doc. RNDr. Edita Mačajová, PhD.
  • Communication in (formal) computational models
    supervisor: doc. RNDr. Dana Pardubská, CSc.
  • Optimization and Reuse in Development of Large Software Systems
    supervisor: doc. Ing. Ivan Polášek, PhD.
  • Virtual and Augmented Reality in Software Development
    supervisor: doc. Ing. Ivan Polášek, PhD.
  • Fundamental properties of information and complexity of problems
    supervisor: prof. RNDr. Branislav Rovan, PhD.
  • Algorithms for graph embeddability into surfaces
    supervisor: prof. RNDr. Martin Škoviera, PhD.
  • Cryptanalysis of symmetric ciphers
    supervisor: doc. RNDr. Martin Stanek, PhD.
  • Methods for processing data from third generation sequencing technologies
    supervisor: doc. Mgr. Tomáš Vinař, PhD.