Field of Study Details
Computer Science and Engineering
Abbreviation: DVI4
Length of Study: 4 years
Degree Programme: Computer Science and Engineering
Language of Instruction: Czech
Form of Study: full-time
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 | CE | Ex | FIT |
Abbrv | Title | Duty | Compl | Fa |
---|---|---|---|---|
JAD | Ph.D. Test of English | CE | Ex | FIT |
Abbrv | Title | Duty | Compl | Fa |
---|---|---|---|---|
APD | Selected Topics on Language Parsing and Translation | E | Ex | FIT |
ASD | Audio and Speech Processing by Humans and Machines | E | Ex | FIT |
DPC-MA1 | Statistics, Stochastic Processes, Operations Research | E | Ex | FEKT |
DPC-TK1 | Optimization Methods and Queuing Theory | E | Ex | FEKT |
FAD | Formal Program Analysis | E | Ex | FIT |
IV108 | Bioinformatics | E | Ex | FIT |
JA6D | English for PhD Students | E | Ex | FIT |
MID | Modern Mathematical Methods in Informatics | E | Ex | FIT |
MMD | Advanced Methods of 3D Scene Visualisation | E | Ex | FIT |
MSD | Modelling and Simulation | E | Ex | FIT |
MZD | Modern Methods of Speech Processing | E | Ex | FIT |
OPD | Optics | E | Ex | FIT |
ORID | Optimal Control and Identification | E | Ex | FIT |
PBD | Advanced Biometric Systems *) | E | Ex | FIT |
PDD | Applications of Parallel Computers | E | Ex | FIT |
PGD | Computer Graphics | E | Ex | FIT |
PND | Advanced Techniques in Digital Design | E | Ex | FIT |
RGD | Regulated Grammars and Automata *) | E | Ex | FIT |
SWD | Ontologie a sémantický web | E | Ex | FIT |
TID | Modern Theoretical Computer Science | E | Ex | FIT |
TJD | Programming Language Theory | E | Ex | FIT |
ZPD | Natural Language Processing | E | 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 |
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 in Computer Science | 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