Branch Details

Computer Science and Engineering

Original title in Czech: Výpočetní technika a informatikaFITAbbreviation: DVI4Acad. year: 2012/2013

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

Advanced Electronic Circuits Simulation Methods
description
Supervisor: Kunovský Jiří, doc. Ing., CSc.
Advanced Methods of Real-Time Rendering
description
Supervisor: Herout Adam, prof. Ing., Ph.D.
Advanced Methods of Real-Time Rendering
description
Supervisor: Herout Adam, prof. Ing., Ph.D.
Advanced Simulation Methods of Embedded Systems
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Algorithms of image and signal processing in hardware
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Algorithms of image and signal processing in hardware
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Analysis of Attacks on Wireless Local Networks
description
Supervisor: Hanáček Petr, doc. Dr. Ing.
Analysis of Attacks on Wireless Local Networks
description
Supervisor: Hanáček Petr, doc. Dr. Ing.
Analyzis of the Processor Model
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Architecures for Highly Reliable Memories
description
Supervisor: Drábek Vladimír, doc. Ing., CSc.
Artificial agents for wireless sensor networks
description
Supervisor: Zbořil František, doc. Ing., CSc.
Astronomic data mining
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Augmented Reality on Mobile Devices
description
Supervisor: Herout Adam, prof. Ing., Ph.D.
Automated Formal Verification of Programs with Complex Data and/or Control Structures
description
Supervisor: Vojnar Tomáš, prof. Ing., Ph.D.
AUtomatic and semi-automatic tagging of images
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Automatized Definition of Context-Sensitive Grammars
description
Supervisor: Kolář Dušan, doc. Dr. Ing.
Computational Parallelism and Formal Language Theory
description
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Computer Vision on Graphics Processors
description
Supervisor: Herout Adam, prof. Ing., Ph.D.
Cyber-Physical Systems
description
Supervisor: Švéda Miroslav, prof. Ing., CSc.
Data mining in graphs
description
Supervisor: Zendulka Jaroslav, doc. Ing., CSc.
Debugging of Optimized Code
description
Supervisor: Hruška Tomáš, prof. 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.
Distributed architecture and RT Unix-based environment for industrial applications
description
Supervisor: Švéda Miroslav, prof. Ing., CSc.
Electronic dictionaries and their automatic creation
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Energy Reducing Compiler Optimizations
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Feature extraction, classification, recognition
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Feature extraction, classification, recognition
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Flight trajenctory optimization
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Formal analysis and verification of systems specified by high-level visual languages
description
Supervisor: Češka Milan, prof. RNDr., CSc.
Formal methods in evolutionary design and optimization
description
Supervisor: Sekanina Lukáš, prof. Ing., Ph.D.
Formal Models of Computational Cooperation
description
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Formal Models of Distributed Computation
description
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Fractal Marker Fields
description
Supervisor: Herout Adam, prof. Ing., Ph.D.
General Purpose GPU
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Graphical design of Embedded Systems
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Graphical Prototyping of Embedded Systems
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Graphics and image processing on high performance computers
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Hardware akceleration of 3D madical data processing
description
Supervisor: Kršek Přemysl, doc. Ing., Ph.D.
High Performance Computing for Semantic Web
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
High-level feature extraction in video
description
Supervisor: Zendulka Jaroslav, doc. Ing., CSc.
Human tissues 3D modeling by medical image data
description
Supervisor: Kršek Přemysl, doc. Ing., Ph.D.
Hybrid Flight Control
description
Supervisor: Černocký Jan, prof. Dr. Ing.
Hybrid Flight Control
description
Supervisor: Černocký Jan, prof. Dr. Ing.
Image recognition and machine learning in service robotics
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Information Extraction from Text
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Interactive segmentation of space medical image data
description
Supervisor: Kršek Přemysl, doc. Ing., Ph.D.
Intrusion Detection and Automatic Processing of Malware
description
Supervisor: Hanáček Petr, doc. Dr. Ing.
Intrusion Detection in Network Traffic
description
Supervisor: Hanáček Petr, doc. Dr. Ing.
Invasive Methods of Attacks on Chips
description
Supervisor: Drahanský Martin, prof. Ing., Ph.D.
Low latency hardware architectures
description
Supervisor: Fučík Otto, doc. Dr. Ing.
Low latency hardware architectures
description
Supervisor: Fučík Otto, doc. Dr. Ing.
Many-core architectures
description
Supervisor: Dvořák Václav, prof. Ing., DrSc.
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 image 3D data vector based aproximation
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.
Modern Methods of Language Generation
description
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Modern Methods of Language Translation
description
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
New trends in numerical solutions of differential equations
description
Supervisor: Kunovský Jiří, doc. Ing., CSc.
On-line parameter identification of an aicraft
description
Supervisor: Černocký Jan, prof. Dr. Ing.
Optimalization Computations
description
Supervisor: Kunovský Jiří, doc. Ing., CSc.
Optimization in Functional Languages
description
Supervisor: Kolář Dušan, doc. Dr. Ing.
Optimization of boundary polygonal models
description
Supervisor: Kršek Přemysl, doc. Ing., Ph.D.
Optimization of portofolio allocation cumulative risks
description
Supervisor: Kreslíková Jitka, doc. RNDr., CSc.
Parallel Analysis of Context-Sensitive Languages
description
Supervisor: Kolář Dušan, doc. Dr. Ing.
Parallel Cooperation Based on Runge - Kutta Numerical Integration Methods
description
Supervisor: Kunovský Jiří, doc. Ing., CSc.
Petri nets synthesis
description
Supervisor: Češka Milan, prof. RNDr., CSc.
Pragma based executable code synthesis for generated application specific multi-core architectures
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Programming of multi-core systems
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Real-time dynamic systems simulations
description
Supervisor: Kunovský Jiří, doc. Ing., CSc.
Reconstruction of 3D scene from images and/or video
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Regulated Formal Systems
description
Supervisor: Meduna Alexandr, prof. RNDr., CSc.
Retargetable C Compiler for DSP Architectures
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Search in speech using querying by example
description
Supervisor: Černocký Jan, prof. Dr. Ing.
Search in speech using querying by example
description
Supervisor: Černocký Jan, prof. Dr. Ing.
Security increasing in the Internet Environment Using Malware Analysis
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Security increasing in the Internet Environment Using Malware Analysis
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.
Serious Games
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Simulation of Multiprocessor Systems on the Chip
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Stereometric measurement of longer distances
description
Supervisor: Drahanský Martin, prof. Ing., Ph.D.
Termination analysis of programs with dynamic data structures
description
Supervisor: Češka Milan, prof. RNDr., CSc.
Tissues automatic 3D segmentation by medical image data
description
Supervisor: Kršek Přemysl, doc. Ing., Ph.D.
Tools for Petri net application in system design
description
Supervisor: Češka Milan, prof. RNDr., CSc.
Transformation techniques form C to VHDL
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
Unconventional electronics in computing systems
description
Supervisor: Sekanina Lukáš, 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: 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: Kotásek Zdeněk, doc. Ing., CSc.
unfilled
description
Supervisor: Kotásek Zdeněk, doc. Ing., CSc.
unfilled
description
Supervisor: Kotásek Zdeněk, doc. Ing., CSc.
unfilled
description
Supervisor: Kotásek Zdeněk, doc. Ing., CSc.
unfilled
description
Supervisor: Kotásek Zdeněk, doc. Ing., CSc.
User interfaces based on "eye tracking" and "body tracking"
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
User interfaces based on "eye tracking" and "body tracking"
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
User interfaces based on "eye tracking" and "body tracking"
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Verification methods based on integer programming.
description
Supervisor: Češka Milan, prof. RNDr., CSc.
Vizuální rozhraní pro zvýšení bezpečnosti letového provozu
description
Supervisor: Zemčík Pavel, prof. Dr. Ing., dr. h. c.
Web services and Service Component Architecture
description
Supervisor: Smrž Pavel, doc. RNDr., Ph.D.
Workflow process modeling
description
Supervisor: Hruška Tomáš, prof. Ing., CSc.
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 object reconstruction by scene images sequence
description
Supervisor: Kršek Přemysl, doc. Ing., Ph.D.
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, winter semester
Abbreviation	Title	L.	Cr.	Com.	Prof.	Compl.	Hr. range	Gr.	Op.
JAD	Ph.D. Test of English	cs, en	0	Compulsory	-	Ex			yes

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

VUT

Faculties and university institutes

Parts

Computer Science and Engineering

Course structure diagram with ECTS credits