Faculty of Mathematics, Physics
and Informatics
Comenius University in Bratislava

Computer Science

Doctoral Degree Program

Field:

Computer Science

Form:

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: 675,00 EUR (6th class, 1st level)
  • after successful completion of the qualification exam: 786,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 2019/2020

  • Computational methods for processing genomic data
    (supervisor doc. Mgr. Bronislava Brejová, PhD.)
  • Large Scale Simulations for Multiple Fluid Dynamics With Moving Interfaces
    (supervisor prof. RNDr. Roman Ďurikovič, PhD.)
  • The Universal Autonomous Transport System ATS
    (supervisor prof. RNDr. Roman Ďurikovič, PhD.)
  • Towards the Light Field Manipulation and Editting
    (supervisor prof. RNDr. Roman Ďurikovič, PhD.)
  • Rigid Body Simulation of Multibody System with Contact Anisotropic Friction
    (supervisor prof. RNDr. Roman Ďurikovič, PhD.)
  • Training the robot in social interaction
    (supervisor prof. Ing. Igor Farkaš, Dr.)
  • Towards transparent subsymbolic artificial intelligence
    (supervisor prof. Ing. Igor Farkaš, Dr.)
  • Virtual Museum Activisation and Usability
    (supervisor doc. RNDr. Andrej Ferko, PhD.)
  • Deep Learning Triangulation, Camera Optimization and Full Bundle Adjustment – Can we get behind 1st derivative?
    (supervisor doc. RNDr. Milan Ftáčnik, CSc.)
  • The evaluation of data from city camera security system
    (supervisor doc. RNDr. Milan Ftáčnik, CSc.)
  • Multimodal biometric system
    (supervisor doc. RNDr. Milan Ftáčnik, CSc.)
  • Fusion of massive point clouds
    (supervisor doc. RNDr. Milan Ftáčnik, CSc.)
  • Automated deduction in fuzzy expert systems (theory and design)
    (supervisor doc. RNDr. Dušan Guller, PhD.)
  • Hybrid Deep Learning for Semantic Parsing Including Semantic Utterance Classification
    (supervisor doc. RNDr. Martin Homola, 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.)
  • Partial Automorphisms of Combinatorial Structures
    (supervisor doc. RNDr. Tatiana Jajcayová, PhD.)
  • Advice complexity in computational models
    (supervisor prof. RNDr. Rastislav Královič, PhD.)
  • Colouring cubic graphs with point-block configurations
    (supervisor doc. RNDr. Edita Mačajová, PhD.)
  • Real networks and new measures of their description
    (supervisor doc. RNDr. Mária Markošová, PhD.)
  • Communication in (formal) computational models
    (supervisor doc. RNDr. Dana Pardubská, CSc.)
  • Fundamental properties of information and complexity of problems
    (supervisor prof. RNDr. Branislav Rovan, PhD.)
  • Edge-colourings and flows on cubic graphs
    (supervisor prof. RNDr. Martin Škoviera, PhD.)
  • Algorithms for graph embeddability into surfaces
    (supervisor prof. RNDr. Martin Škoviera, PhD.)
  • Attractor dynamics in biologically inspired artificial neural networks
    (supervisor doc. RNDr. Martin Takáč, PhD.)
  • Computational structures for integration of language and memory in human-robot interaction
    (supervisor doc. RNDr. Martin Takáč, PhD.)