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: | |
| Related study programs: | master's degree programs Computer Science, Applied 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 2021/2022
- Abductive reasoning with ontologies based on a reverse consequence calculus
doc. RNDr. Martin Homola, PhD. - Advice complexity of computational models
prof. RNDr. Rastislav Kráľovič, PhD. - AI methods in computer games
doc. RNDr. Martin Homola, PhD. - Algorithms for graph embeddability into surfaces
prof. RNDr. Martin Škoviera, PhD. - Algorithms on cubic graphs
doc. RNDr. Robert Lukoťka, PhD. - Automata and Algorithmic problems in Algebra
doc. RNDr. Tatiana Jajcayová, PhD. - Communication in (formal) computational models
doc. RNDr. Dana Pardubská, CSc. - Differential Analysis in the Context of Pan-Genome Graphs
doc. Mgr. Tomáš Vinař, PhD. - Fundamental properties of information and complexity of problems
prof. RNDr. Branislav Rovan, PhD. - Hybrid Deep Learning for Semantic Parsing Including Semantic Utterance Classification
doc. RNDr. Martin Homola, PhD. - Large Scale Simulations for Multiple Fluid Dynamics With Moving Interfaces
prof. RNDr. Roman Ďurikovič, PhD. - Malware Detection Based on Explainable AI
doc. RNDr. Martin Homola, PhD. - Measures of uncolourability of cubic graphs
prof. RNDr. Martin Škoviera, PhD. - Neural-symbolic reasoning techniques in knowledge representation
doc. RNDr. Martin Homola, PhD. - Optimal Structures Based on Algebraic Constructions
doc. RNDr. Tatiana Jajcayová, PhD. - Processing of light curves of satellites and space debris for the purpose of their identification
prof. RNDr. Roman Ďurikovič, PhD. - Reasoning algorithms for ontologies and description logics
doc. RNDr. Martin Homola, PhD. - The Universal Autonomous Transport System ATS
prof. RNDr. Roman Ďurikovič, PhD. - Towards self-aware embodied intelligent agents
prof. Ing. Igor Farkaš, Dr. - Virtual Museum Activisation and Usability
doc. RNDr. Andrej Ferko, PhD. - Machine learning methods on data from structured-light scanners
doc. RNDr. Milan Ftáčnik, CSc.