Field of Study Details

Computer Science and Engineering

Abbreviation: DVI4

Acad. year: 2021/2022

Length of Study: 4 years

Degree Programme: Computer Science and Engineering

Language of Instruction: English

Form of Study: full-time

Accredited from: 2007 Accredited till: 2024 Last admissions: 2020

Profile

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.

Key learning outcomes

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.

Guarantor
Extent of the State Final Examinations

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.

Examples of theses
  • 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

2nd year of study, winter semester

AbbrvTitleDutyComplFa
JADPh.D. Test of EnglishCExFIT

all years of study, winter semester

AbbrvTitleDutyComplFa
APDSelected Topics on Language Parsing and TranslationEExFIT
ASDAudio and Speech Processing by Humans and MachinesEExFIT
DPC-MA1Statistics, Stochastic Processes, Operations ResearchEExFEKT
DPC-TK1Optimization Methods and Queuing TheoryEExFEKT
FADFormal Program AnalysisEExFIT
IV108BioinformaticsEExFIT
JA6DEnglish for PhD StudentsEExFIT
MIDModern Mathematical Methods in InformaticsEExFIT
MMDAdvanced Methods of 3D Scene VisualisationEExFIT
MSDModelling and SimulationEExFIT
MZDModern Methods of Speech ProcessingEExFIT
OPDOpticsEExFIT
ORIDOptimal Control and IdentificationEExFIT
PBDAdvanced Biometric SystemsEExFIT
PDDApplications of Parallel ComputersEExFIT
PGDComputer GraphicsEExFIT
PNDAdvanced Techniques in Digital DesignEExFIT
PTDThe Principles of Testable Design SynthesisEExFIT
RGDRegulated Grammars and AutomataEExFIT
TIDModern Theoretical Computer ScienceEExFIT
TJDProgramming Language TheoryEExFIT
ZPDNatural Language ProcessingEExFIT

all years of study, summer semester

AbbrvTitleDutyComplFa
BIDInformation System Security and CryptographyEExFIT
EUDEvolutionary and neural hardwareEExFIT
EVDEvolutionary ComputationEExFIT
ISDIntelligent SystemsEExFIT
JA6DEnglish for PhD Students *)EExFIT
KRDClassification and recognitionEExFIT
MADSelected Chapters on MathematicsEExFIT
MLDMathematical LogicEExFIT
SODFault Tolerant SystemsEExFIT
TADTheory and Applications of Petri NetsEExFIT
TKDCategory TheoryEExFIT
VNDHigly Sophisticated ComputationsEExFIT
VPDSelected Topics of Information SystemsEExFIT
Course is not open in this academic year
Compl: Course completion: Ex - examination, Cr - credit, ClCr - classified credit, Co - colloquium
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective
Back to top