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

Parts

Computer Science and Engineering

Course structure diagram with ECTS credits