Field of Study Details
Computer Science and Engineering
Abbreviation: DVI4
Acad. year: 2020/2021
Length of Study: 4 years
Degree Programme: Computer Science and Engineering
Language of Instruction: English
Form of Study: combined
Tuition Fees: 4000 EUR/academic year for EU students, 4000 EUR/academic year for non-EU students
Accredited from: 2007 Accredited till: 2024
The goal of the doctoral study programme is to provide outstanding graduates from the MSc study programme with a specialised university education of the highest level in certain fields of information technology, including especially the areas of information systems, computer-based systems and computer networks, computer graphics and multimedia, and intelligent systems. The education obtained within this study programme also comprises a training and attestation for scientific work.
Ability to perform scientific research as an independent researcher or a member of a scientific team on an international level. Publishing results at international conferences and in journals. Ability to understand, develop into a practically applicable form, apply in practice, and further develop latest scientific results.
The scope of a doctoral state examination is determined by the individual study plan of the student being examined and by the theme of his/her future dissertation thesis. Within the examination as well as within a report on the theme of the dissertation thesis, the student proves his/her knowledge of the state of the art methodologies, theories, and their applications on a level exceeding the level common in MSc study programmes. The doctoral state examination also encompasses an evaluation of the presumed goals of the future dissertation thesis of the student, of the chosen solution method, and of the so far obtained original results.
- Definition and control of processes in object-oriented information systems
- Dynamically reconfigurable computer architectures
- Architectures of hardware and software of multiprocessor systems
- Applying formal approaches to the verification of testability of digital circuits
- Solving large systems of differential equations in extremely fast and exact ways
- Parallel compilers: models, techniques, and implementation
- Heterogeneous systems modelling
- Formal specification and verification of communication protocols
- Biometric security systems
- Methods of acquiring knowledge from WWW
- Automatic speech processing for security applications
- Acceleration of raster image recognition
Choose academic year and curriculum
Abbrv | Title | Duty | Compl | Fa |
---|---|---|---|---|
JAD | Ph.D. Test of English | C | Ex | FIT |
Abbrv | Title | Duty | Compl | Fa |
---|---|---|---|---|
JAD | Ph.D. Test of English | C | Ex | FIT |
Abbrv | Title | Duty | Compl | Fa |
---|---|---|---|---|
BID | Information System Security and Cryptography | E | Ex | FIT |
EUD | Evolutionary and Neural Hardware | E | Ex | FIT |
EVD | Evolutionary Computation | E | Ex | FIT |
ISD | Intelligent Systems | E | Ex | FIT |
JA6D | English for PhD Students *) | E | Ex | FIT |
KRD | Classification and Recognition | E | Ex | FIT |
MAD | Selected Chapters on Mathematics *) | E | Ex | FIT |
MLD | Mathematical Logic | E | Ex | FIT |
SOD | Fault Tolerant Systems | E | Ex | FIT |
TAD | Theory and Applications of Petri Nets | E | Ex | FIT |
TKD | Category Theory | E | Ex | FIT |
VKD | Selected Chapters on Algorithms | E | Ex | FIT |
VND | Higly Sophisticated Computations | E | Ex | FIT |
VPD | Selected Topics of Information Systems | E | Ex | FIT |
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective