Branch Details
Computer Science and Engineering
Original title in Czech: Výpočetní technika a informatikaFITAbbreviation: DVI4Acad. year: 2010/2011
Programme: Computer Science and Engineering
Length of Study:
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
- Graduates from the doctoral study programme are trained to independently work in research, development, or management.
- They are able to solve and/or to lead teams solving advanced conceptual, research, development, or production problems in the area of contemporary information technology and its applications.
- They can be engaged to work on creative tasks, to lead research and development teams, or to work in management of companies or organizations whenever there are required abilities to work in an independent and creative way, to analyze complex problems, and to propose and realize new and original solutions. Graduates from the doctoral study programme can also teach and/or scientifically work at universities.
Guarantor
Issued topics of Doctoral Study Program
- Acceleration of signal and image processing algorithms
- Acceleration of signal and image processing algorithms
- Acceleration of signal and image processing algorithms
- Advanced computer graphics methods
- Advanced processing and optimization of 3D polygonal models
- Advanced Simulation Methods of Embedded Systems
- Advanced techniques in genetic programming
- An Optimizing Compiler for Limited and Mutable Architecture
Tutor: Kolář Dušan, doc. Dr. Ing.
- Analysis of Attacks on Chips
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of attacks on (micro)chips and development of enhancement of their robustness/security
- Analysis of Attacks on Wireless Networks
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of Attacks on Wireless Networks
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of Attacks on Wireless Networks
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of attacks on wireless networks and development of their security
- Analysis of Malicious Code
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of Malicious Code Based on Behaviour Patterns
Tutor: Hanáček Petr, doc. Dr. Ing.
- Analysis of the IP network transmissions with QoS
- Artificial agents for wireless sensor networks
- Augmented reality for automotive industry 1
- Augmented reality for automotive industry 2
- Augmented reality for automotive industry 3
- Automatic question answering
- Automatic speech processing for security applications
Tutor: Černocký Jan, prof. Dr. Ing.
- Biometric systems for recognition of eye retina/iris
- Camera orientation and interaction in 3D space
- Citation Analysis
- Classifiers for speech processing and their implementation
- Cluster for cloud computing and testing of biometric systems
- Communication Infrastructure for Intelligent Buildings
Tutor: Hanáček Petr, doc. Dr. Ing.
- Computer Graphics on Pocket Devices
- Computer Vision on Graphics Processors
- Computer Vision on Graphics Processors 2
- Computer Vision on Pocket Devices
- Computer Vision on Pocket Devices
- Conformance testing applicable universally on every biometric
- Context-Sensitive Analysis of Formal Languages
Tutor: Kolář Dušan, doc. Dr. Ing.
- Cross-lingual information retrieval and extraction
- Cryptographic protocols for sensor networks
Tutor: Hanáček Petr, doc. Dr. Ing.
- Czech Grammar Checker
- Data mining in computer security
- Data mining in spatio-temporal data
- Data mining in video
- Data stream management
- Detection and Localization of Objects in Image and Video
- Digital manufacturing of 3D object models
- Efficient Algorithms for Using Automata in Infinite-State Verification
- Efficient mapping of network algorithms onto the reconfigurable devices
- Efficient mapping of network algorithms onto the reconfigurable devices
- E-learning and automatic assessment of students (beyond multi-choice tests)
- Electronic dictionaries and their automatic creation
- Embedded Systems for Decision Support in Manufacturing
- Embedded Systems in Robotics
- Emotional analysis of multimodal data
- Energy Reducing Compiler Optimizations
- Evolutionary design and optimization of microprogrammed architectures
- Frameworks for design of secure network applications
- General Purpose GPU
- General purpose graphical multiprocessors
- Generic Reverse Compilation to Recognize Specific Behavior
Tutor: Kolář Dušan, doc. Dr. Ing.
- Globally Asynchronous Locally Synchronous Systems
Tutor: Fučík Otto, doc. Dr. Ing.
- GPGPU performance prediction and tuning
- Grammar formalisms for natural language
- Graphical Prototyping of Embedded Systems
- High Level Synthesis of Embedded Systems
- High Performance Computing for Semantic Web
- Human tissues 3D modeling by medical image data
- Hybrid recognition of 3D face
- Image analysis for navigation in large image collections
- Image features extraction, classification, recognition
- Image recognition combined with text analysis
- Indexing of moving objects
- Information Extraction from Text
- Information Technology in Psychology
- Intelligent camera system
- Intelligent robotic arm
- Intelligent web search using pattern-based information extraction
- Intelligent web search using pattern-based information extraction
- Knowledge data discovery from word sketches
- Knowledge Discovery in Documents
- Knowledge Discovery in Documents
- Knowledge infrerence from text
- Knowledge Sharing Platforms in Companies
- Linking External Regulations to Business Processes inside Companies
- Machine learning for microarray data processing
- Machine Translation
- Medical image volume data visualization
- Medical image 3D data compression
- Medical 3D image data processing optimization
- Methodology for prediction and detection of digital system idle periods
- Methods for quality determination by fingerprints, face etc.
- Modeling IP network with QoS
- Modelling and Simulation Techniques in Software System Development
Tutor: Hanáček Petr, doc. Dr. Ing.
- Morphological analysis of Czech
- Multigenerative systems and parsing
- Multigenerative systems and parsing
- Natural Language Parsing
- New Applications of Polymorphic Electronics
- New methods and applications of data compression
- New technology for 3D scanning of objects
- OLAP technologies - portal XML solutions
- OLAP, XML, AJAX and web technologies
- On-line analysis of moving objects
- On-line parameter identification of an aicraft
Tutor: Černocký Jan, prof. Dr. Ing.
- Ontology merging
- Optimizations in game-theoretical computations
Tutor: Hanáček Petr, doc. Dr. Ing.
- Parallel Analysis of Context-Sensitive Languages
Tutor: Kolář Dušan, doc. Dr. Ing.
- Petri nets synthesis
- Physical simulators for military applications
- Practical Algorithms Using Suitable Logics in Program Verification
- Presentation models for OLAP - using XML
- Reconstruction of 3D scene from images and/or video
- Retargetable C Compiler for DSP Architectures
- Semantic Web and Web 2.0
- Semantic web portal generator
- Semantic Wiki
- Serious Games
- System for the detection and recovery of transient faults in FPGA based systems
- TBD
- TCP/IP network design focusing on network security
- TCP/IP network design focusing on network security
- Tissues automatic 3D segmentation by medical image data
- Transformation of Formal Models
- unfilled
Tutor: Fučík Otto, doc. Dr. Ing.
- unfilled
Tutor: Hanáček Petr, doc. Dr. Ing.
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- unfilled
- Verification methods based on integer programming.
- Verification of the Microprocessor Model
- Vizuální rozhraní pro zvýšení bezpečnosti letového provozu
- Vizuální rozhraní pro zvýšení bezpečnosti letového provozu
- Web as language textbook
- Web data mining for security applications
- Web services and Service Component Architecture
- What Are Key Aspects?
- Workflow process modeling
- Workflow process modeling
- XML Databases for Large Data Management
- 3D interactive collaborative system
- 3D Object Recognition
- 3D polygonal models conversion to T-spline surfaces
Course structure diagram with ECTS credits
| Abbreviation | Title | L. | Cr. | Com. | Compl. | Hr. range | Gr. | Op. |
|---|---|---|---|---|---|---|---|---|
| JAD | Ph.D. Test of English | cs, en | 0 | Compulsory | Ex | yes |
| Abbreviation | Title | L. | Cr. | Com. | Compl. | Hr. range | Gr. | Op. |
|---|---|---|---|---|---|---|---|---|
| JA6D | English for PhD Students | cs, en | 0 | Elective | P - 13 / COZ - 13 | yes | ||
| PDD | Applications of Parallel Computers | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| IV108 | Bioinformatics | cs, en | 0 | Elective | Ex | P - 13 / COZ - 13 | yes | |
| FAD | Formal Program Analysis | cs, en | 0 | Elective | Ex | P - 26 | yes | |
| MMD | Advanced Methods of 3D Scene Visualisation | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| MZD | Modern Methods of Speech Processing | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| TID | Modern Theoretical Computer Science | cs, en | 0 | Elective | Ex | P - 39 / PR - 13 | yes | |
| QB4 | Neural Networks, Adaptive and Optimum Filtering | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| PGD | Computer Graphics | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| PBD | Advanced biometric systems | cs, en | 0 | Elective | Ex | P - 26 / PR - 4 | yes | |
| PTD | The Principles of Testable Design Synthesis | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| DMA1 | Statistics, Stochastic Procesess, Operational Analysis | cs | 0 | Elective | Ex | P - 39 | yes | |
| TKD | Category Theory | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| TJD | Programming Language Theory | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| APD | Selected Topics on Language Parsing and Translation | cs, en | 0 | Elective | Ex | P - 39 / PR - 13 | yes | |
| ZZD | Knowledge Discovery in Databases | cs, en | 0 | Elective | Ex | P - 39 / PR - 13 | yes | |
| ZPD | Natural Language Processing | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| ASD | Audio and Speech Processing by Humans and Machines | cs, en | 0 | Elective | Ex | P - 39 | yes |
| Abbreviation | Title | L. | Cr. | Com. | Compl. | Hr. range | Gr. | Op. |
|---|---|---|---|---|---|---|---|---|
| JA6D | English for PhD Students | cs, en | 0 | Elective | Ex | P - 13 / COZ - 13 | yes | |
| BID | Information System Security and Cryptography | cs, en | 0 | Elective | Ex | P - 39 / PR - 4 | yes | |
| DMA2 | Discrete Processes in Electrical Engineering | cs | 0 | Elective | Ex | P - 39 | yes | |
| EUD | Evolutionary and Unconventional Hardware | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| EVD | Evolutionary Computation | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| SSD | Formal Specifications of Computer-Based Systems | cs | 0 | Elective | Ex | P - 39 | yes | |
| ISD | Intelligent Systems | cs, en | 0 | Elective | Ex | P - 26 / PR - 26 | yes | |
| KRD | Classification and recognition | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| MLD | Mathematical Logic | cs, en | 0 | Elective | Ex | P - 26 | yes | |
| MID | Modern Mathematical Methods in Informatics | cs, en | 0 | Elective | Ex | P - 26 | yes | |
| NVD | Embedded Systems Design | cs | 0 | Elective | Ex | P - 26 | yes | |
| OPD | Optics | cs, en | 0 | Elective | Ex | P - 39 / PR - 13 | yes | |
| SOD | Fault Tolerant Systems | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| TAD | Theory and Applications of Petri Nets | cs, en | 0 | Elective | Ex | P - 39 / Cp - 8 | yes | |
| VKD | Selected Chapters on Algorithms | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| VPD | Selected Topics of Information Systems | cs, en | 0 | Elective | Ex | P - 39 | yes | |
| SID | Selected Topics of Software Engineering and Database Systems | cs, en | 0 | Elective | Ex | P - 39 / PR - 13 | yes | |
| VND | Higly Sophisticated Computations | cs, en | 0 | Elective | Ex | P - 39 | yes |