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

prof. RNDr. Milan Češka, CSc.

Issued topics of Doctoral Study Program

Acceleration of signal and image processing algorithms
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Acceleration of signal and image processing algorithms
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Acceleration of signal and image processing algorithms
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Advanced computer graphics methods
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Advanced processing and optimization of 3D polygonal models
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Advanced Simulation Methods of Embedded Systems
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
Advanced techniques in genetic programming
description
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
An Optimizing Compiler for Limited and Mutable Architecture
description
Tutor: Kolář Dušan, doc. Dr. Ing.
Analysis of Attacks on Chips
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Analysis of attacks on (micro)chips and development of enhancement of their robustness/security
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Analysis of Attacks on Wireless Networks
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Analysis of Attacks on Wireless Networks
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Analysis of Attacks on Wireless Networks
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Analysis of attacks on wireless networks and development of their security
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Analysis of Malicious Code
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Analysis of Malicious Code Based on Behaviour Patterns
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Analysis of the IP network transmissions with QoS
description
Tutor: Švéda Miroslav, prof. Ing., CSc.
Artificial agents for wireless sensor networks
description
Tutor: Zbořil František, doc. Ing., CSc.
Augmented reality for automotive industry 1
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Augmented reality for automotive industry 2
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Augmented reality for automotive industry 3
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Automatic question answering
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Automatic speech processing for security applications
description
Tutor: Černocký Jan, prof. Dr. Ing.
Biometric systems for recognition of eye retina/iris
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Camera orientation and interaction in 3D space
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Citation Analysis
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Classifiers for speech processing and their implementation
description
Tutor: Burget Lukáš, doc. Ing., Ph.D.
Cluster for cloud computing and testing of biometric systems
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Communication Infrastructure for Intelligent Buildings
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Computer Graphics on Pocket Devices
description
Tutor: Herout Adam, prof. Ing., Ph.D.
Computer Vision on Graphics Processors
description
Tutor: Herout Adam, prof. Ing., Ph.D.
Computer Vision on Graphics Processors 2
description
Tutor: Herout Adam, prof. Ing., Ph.D.
Computer Vision on Pocket Devices
description
Tutor: Herout Adam, prof. Ing., Ph.D.
Computer Vision on Pocket Devices
description
Tutor: Herout Adam, prof. Ing., Ph.D.
Conformance testing applicable universally on every biometric
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Context-Sensitive Analysis of Formal Languages
description
Tutor: Kolář Dušan, doc. Dr. Ing.
Cross-lingual information retrieval and extraction
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Cryptographic protocols for sensor networks
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Czech Grammar Checker
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Data mining in computer security
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Data mining in spatio-temporal data
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Data mining in video
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Data stream management
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Detection and Localization of Objects in Image and Video
description
Tutor: Herout Adam, prof. Ing., Ph.D.
Digital manufacturing of 3D object models
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Efficient Algorithms for Using Automata in Infinite-State Verification
description
Tutor: Vojnar Tomáš, prof. Ing., Ph.D.
Efficient mapping of network algorithms onto the reconfigurable devices
description
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
Efficient mapping of network algorithms onto the reconfigurable devices
description
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
E-learning and automatic assessment of students (beyond multi-choice tests)
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Electronic dictionaries and their automatic creation
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Embedded Systems for Decision Support in Manufacturing
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Embedded Systems in Robotics
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Emotional analysis of multimodal data
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Energy Reducing Compiler Optimizations
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
Evolutionary design and optimization of microprogrammed architectures
description
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
Frameworks for design of secure network applications
description
Tutor: Švéda Miroslav, prof. Ing., CSc.
General Purpose GPU
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
General purpose graphical multiprocessors
description
Tutor: Drábek Vladimír, doc. Ing., CSc.
Generic Reverse Compilation to Recognize Specific Behavior
description
Tutor: Kolář Dušan, doc. Dr. Ing.
Globally Asynchronous Locally Synchronous Systems
description
Tutor: Fučík Otto, doc. Dr. Ing.
GPGPU performance prediction and tuning
description
Tutor: Dvořák Václav, prof. Ing., DrSc.
Grammar formalisms for natural language
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Graphical Prototyping of Embedded Systems
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
High Level Synthesis of Embedded Systems
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
High Performance Computing for Semantic Web
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Human tissues 3D modeling by medical image data
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Hybrid recognition of 3D face
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Image analysis for navigation in large image collections
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Image features extraction, classification, recognition
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Image recognition combined with text analysis
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Indexing of moving objects
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Information Extraction from Text
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Information Technology in Psychology
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Intelligent camera system
description
Tutor: Zbořil František, doc. Ing., CSc.
Intelligent robotic arm
description
Tutor: Zbořil František, doc. Ing., CSc.
Intelligent web search using pattern-based information extraction
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Intelligent web search using pattern-based information extraction
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Knowledge data discovery from word sketches
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Knowledge Discovery in Documents
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Knowledge Discovery in Documents
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
Knowledge infrerence from text
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Knowledge Sharing Platforms in Companies
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Linking External Regulations to Business Processes inside Companies
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Machine learning for microarray data processing
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Machine Translation
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Medical image volume data visualization
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Medical image 3D data compression
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Medical 3D image data processing optimization
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Methodology for prediction and detection of digital system idle periods
description
Tutor: Kotásek Zdeněk, doc. Ing., CSc.
Methods for quality determination by fingerprints, face etc.
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Modeling IP network with QoS
description
Tutor: Švéda Miroslav, prof. Ing., CSc.
Modelling and Simulation Techniques in Software System Development
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Morphological analysis of Czech
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Multigenerative systems and parsing
description
Tutor: Meduna Alexandr, prof. RNDr., CSc.
Multigenerative systems and parsing
description
Tutor: Meduna Alexandr, prof. RNDr., CSc.
Natural Language Parsing
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
New Applications of Polymorphic Electronics
description
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
New methods and applications of data compression
description
Tutor: Drábek Vladimír, doc. Ing., CSc.
New technology for 3D scanning of objects
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
OLAP technologies - portal XML solutions
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
OLAP, XML, AJAX and web technologies
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
On-line analysis of moving objects
description
Tutor: Zendulka Jaroslav, doc. Ing., CSc.
On-line parameter identification of an aicraft
description
Tutor: Černocký Jan, prof. Dr. Ing.
Ontology merging
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Optimizations in game-theoretical computations
description
Tutor: Hanáček Petr, doc. Dr. Ing.
Parallel Analysis of Context-Sensitive Languages
description
Tutor: Kolář Dušan, doc. Dr. Ing.
Petri nets synthesis
description
Tutor: Češka Milan, prof. RNDr., CSc.
Physical simulators for military applications
description
Tutor: Drahanský Martin, prof. Ing., Ph.D.
Practical Algorithms Using Suitable Logics in Program Verification
description
Tutor: Vojnar Tomáš, prof. Ing., Ph.D.
Presentation models for OLAP - using XML
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
Reconstruction of 3D scene from images and/or video
description
Tutor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Retargetable C Compiler for DSP Architectures
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
Semantic Web and Web 2.0
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Semantic web portal generator
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Semantic Wiki
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Serious Games
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
System for the detection and recovery of transient faults in FPGA based systems
description
Tutor: Kotásek Zdeněk, doc. Ing., CSc.
TBD
description
Tutor: Sekanina Lukáš, prof. Ing., Ph.D.
TCP/IP network design focusing on network security
description
Tutor: Švéda Miroslav, prof. Ing., CSc.
TCP/IP network design focusing on network security
description
Tutor: Švéda Miroslav, prof. Ing., CSc.
Tissues automatic 3D segmentation by medical image data
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Transformation of Formal Models
description
Tutor: Meduna Alexandr, prof. RNDr., CSc.
unfilled
description
Tutor: Fučík Otto, doc. Dr. Ing.
unfilled
description
Tutor: Hanáček Petr, doc. Dr. Ing.
unfilled
description
Tutor: Herout Adam, prof. Ing., Ph.D.
unfilled
description
Tutor: Janoušek Vladimír, doc. Ing., Ph.D.
unfilled
description
Tutor: Janoušek Vladimír, doc. Ing., Ph.D.
unfilled
description
Tutor: Janoušek Vladimír, doc. Ing., Ph.D.
unfilled
description
Tutor: Janoušek Vladimír, doc. Ing., Ph.D.
unfilled
description
Tutor: Kotásek Zdeněk, doc. Ing., CSc.
unfilled
description
Tutor: Kotásek Zdeněk, doc. Ing., CSc.
unfilled
description
Tutor: Zbořil František, doc. Ing., CSc.
Verification methods based on integer programming.
description
Tutor: Češka Milan, prof. RNDr., CSc.
Verification of the Microprocessor Model
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
Vizuální rozhraní pro zvýšení bezpečnosti letového provozu
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Vizuální rozhraní pro zvýšení bezpečnosti letového provozu
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
Web as language textbook
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Web data mining for security applications
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Web services and Service Component Architecture
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
What Are Key Aspects?
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
Workflow process modeling
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
Workflow process modeling
description
Tutor: Hruška Tomáš, prof. Ing., CSc.
XML Databases for Large Data Management
description
Tutor: Smrž Pavel, doc. RNDr., Ph.D.
3D interactive collaborative system
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.
3D Object Recognition
description
Tutor: Zbořil František, doc. Ing., CSc.
3D polygonal models conversion to T-spline surfaces
description
Tutor: Kršek Přemysl, doc. Ing., Ph.D.

Course structure diagram with ECTS credits

2. year of study, summer semester
Abbreviation	Title	L.	Cr.	Com.	Compl.	Hr. range	Gr.	Op.
JAD	Ph.D. Test of English	cs, en	0	Compulsory	Ex			yes

Any year of study, winter semester
Abbreviation	Title	L.	Com.	Compl.	Hr. range	Op.
JA6D	English for PhD Students	cs, en	Elective		P - 13 / COZ - 13	yes
PDD	Applications of Parallel Computers	cs, en	Elective	Ex	P - 39	yes
IV108	Bioinformatics	cs, en	Elective	Ex	P - 13 / COZ - 13	yes
FAD	Formal Program Analysis	cs, en	Elective	Ex	P - 26	yes
MMD	Advanced Methods of 3D Scene Visualisation	cs, en	Elective	Ex	P - 39	yes
MZD	Modern Methods of Speech Processing	cs, en	Elective	Ex	P - 39	yes
TID	Modern Theoretical Computer Science	cs, en	Elective	Ex	P - 39 / PR - 13	yes
QB4	Neural Networks, Adaptive and Optimum Filtering	cs, en	Elective	Ex	P - 39	yes
PGD	Computer Graphics	cs, en	Elective	Ex	P - 39	yes
PBD	Advanced biometric systems	cs, en	Elective	Ex	P - 26 / PR - 4	yes
PTD	The Principles of Testable Design Synthesis	cs, en	Elective	Ex	P - 39	yes
DMA1	Statistics, Stochastic Procesess, Operational Analysis	cs	Elective	Ex	P - 39	yes
TKD	Category Theory	cs, en	Elective	Ex	P - 39	yes
TJD	Programming Language Theory	cs, en	Elective	Ex	P - 39	yes
APD	Selected Topics on Language Parsing and Translation	cs, en	Elective	Ex	P - 39 / PR - 13	yes
ZZD	Knowledge Discovery in Databases	cs, en	Elective	Ex	P - 39 / PR - 13	yes
ZPD	Natural Language Processing	cs, en	Elective	Ex	P - 39	yes
ASD	Audio and Speech Processing by Humans and Machines	cs, en	Elective	Ex	P - 39	yes

Any year of study, summer semester
Abbreviation	Title	L.	Com.	Compl.	Hr. range	Op.
JA6D	English for PhD Students	cs, en	Elective	Ex	P - 13 / COZ - 13	yes
BID	Information System Security and Cryptography	cs, en	Elective	Ex	P - 39 / PR - 4	yes
DMA2	Discrete Processes in Electrical Engineering	cs	Elective	Ex	P - 39	yes
EUD	Evolutionary and Unconventional Hardware	cs, en	Elective	Ex	P - 39	yes
EVD	Evolutionary Computation	cs, en	Elective	Ex	P - 39	yes
SSD	Formal Specifications of Computer-Based Systems	cs	Elective	Ex	P - 39	yes
ISD	Intelligent Systems	cs, en	Elective	Ex	P - 26 / PR - 26	yes
KRD	Classification and recognition	cs, en	Elective	Ex	P - 39	yes
MLD	Mathematical Logic	cs, en	Elective	Ex	P - 26	yes
MID	Modern Mathematical Methods in Informatics	cs, en	Elective	Ex	P - 26	yes
NVD	Embedded Systems Design	cs	Elective	Ex	P - 26	yes
OPD	Optics	cs, en	Elective	Ex	P - 39 / PR - 13	yes
SOD	Fault Tolerant Systems	cs, en	Elective	Ex	P - 39	yes
TAD	Theory and Applications of Petri Nets	cs, en	Elective	Ex	P - 39 / Cp - 8	yes
VKD	Selected Chapters on Algorithms	cs, en	Elective	Ex	P - 39	yes
VPD	Selected Topics of Information Systems	cs, en	Elective	Ex	P - 39	yes
SID	Selected Topics of Software Engineering and Database Systems	cs, en	Elective	Ex	P - 39 / PR - 13	yes
VND	Higly Sophisticated Computations	cs, en	Elective	Ex	P - 39	yes

VUT

Faculties

University Institutes

Parts

Computer Science and Engineering

Course structure diagram with ECTS credits