You are here: Faculty of Informatics » Studies » Doctoral Study » Supervisors and Specialism

Supervisors and Their Subject Specialism

This page lists the supervisors available at the Faculty of Informatics together with a brief description of their subject specialism. Ph.D. study applicants will find this information useful when specifying their subject of study interest.

It is recommended that all applicants consult with an appropriate supervisor on the intended subject of their work. It is possible to agree on a theme that is not included in the list below.

Applicants may contact the Vice-Dean for Research and Development should there be any doubt on the most appropriate supervisor to consult with.

doc. RNDr. Jiří Barnat, Ph.D.
Software tools pro automated formal analysis and verification of large-scale systems.

doc. Ing. Michal Brandejs, CSc.
Information systems.

prof. RNDr. Luboš Brim, CSc.
Formal methods for verification and analysis of computer systems (model checking, equivalence checking, performance analysis, model-based testing). Algorithms, techniques and tools for efficient verification and analysis of large-scale systems (parallel or distributed verification using multi-core computers or multiple computers, disk-based verification).

Formal methods in molecular and systems biology (analysis of genetic regulatory networks and signaling pathways).

prof. RNDr. Vladimír Bužek, DrSc.
Quantum information processing and communication

prof. RNDr. Ivana Černá, CSc.
Formal methods for verification of computer systems. Algorithms and tools for efficient analysis, design, and verification of properties of large-scale (concurrent) systems. Application of formal verification in component-based design. Application of formal methods in systems biology. Design and analysis of algorithm.

prof. RNDr. Jozef Gruska, DrSc.
Methods of quantum information processing. Basic concepts and techniques; quantum automata, algorithms and protocols. Quantum computation and communication complexity. Methods and techniques of broadly understood quantum cryptography.
Classical cryptography. Cryptographic protocols and their security. Randomized algorithms
Foundations and history of informatics as of fundamental science with similar goals as that of physics. Basics and history of informatics as basis of a new, third, methodology of science (next to theoretical and experimental methodology).
Relations between informatics, physics and mathematics.

doc. RNDr. Eva Hladká, Ph.D.


doc. RNDr. Petr Hliněný, Ph.D.
Combinatorial and parameterized algorithms, parameterized complexity. Combinatorial optimization, efficient route planning.
Topological and structural graph theories. Graph minors, width parameters (tree-width, branch-width, rank-width). Graph crossing number, drawings and representations of graphs.

prof. RNDr. Jiří Hřebíček, CSc.
Information Systems in biology and environment (ICT of their design, implementation and maintenance)
Mathematical modeling in biology and environment (ICT of design, implementation and verification of solving biological and environmental problems).

prof. RNDr. Jaroslav Koča, DrSc.
Computer modeling and simulations in chemistry and biology. Chemoinformatics and bioinformatics.

doc. RNDr. Ivan Kopeček, CSc.
Speech synthesis, speech recognition, dialogue systems. Applications for visually impaired people, assistive technology.

doc. RNDr. Michal Kozubek, PhD.
Digital image acquisition and analysis, automation of these processes and biomedical applications using optical microscopy. Optimization of critical algorithms with respect to output quality and/or quantity. Simulation of image formation in optical systems: blur, noise, artifacts and their correction using hardware and/or software means. Analysis of multi-dimensional image data. Segmentation of cells and their components. Tracking of moving objects in live cell imaging.

prof. RNDr. Jaroslav Král, DrSc.


prof. RNDr. Mojmír Křetínský, CSc.
Concurrent and distributed systems; concurrency theory; modeling; analysis and verification of infinite state systems, semantics, process algebras/process rewrite systems, (un)decidability; concurrent constraint systems

prof. RNDr. Antonín Kučera, Ph.D.
Formal modeling and verification of computer systems (model checking, equivalence checking). Modal and temporal logics and their probabilistic extensions. Game theory and its applications in computer science (Markov decision processes, stochastic games). Effective analysis of stochastic systems with infinitely many states. Methods, algorithms and tools for analysis and verification of programs written in imperative languages.

prof. PhDr. Pavel Materna, CSc.
Logic as related to Logical Analysis of Natural Language.

prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Applied cryptography, computer and communications security, privacy.

prof. RNDr. Luděk Matyska, CSc.
Parallel and distributed systems (Grids, metacomputers), infrastructure,monitoring and management, including implications for robustness and fault tolerance; parallel and distributed applications.
High performance networks and their transport protocols, multimedai transports, including use-in (e-)learning support
Scheduling in distributed systems, primary based on constrain (logic) programming.

doc. RNDr. Ladislav Nedbal, DrSc.
I am interested in interaction between a complex biological system and its dynamic environment. The interaction is typically far from equilibrium with strong non-linear features. We apply multidimensional (e.g., 3-D space, time, spectrum) experimental methods to capture the resulting dynamics. Systemic approach is used to construct models exhibiting dynamic features homologous to the experiment (e-photosynthesis). The dominant model process of my research is plant photosynthesis with chlorophyll fluorescence emission used as a reporter signal.

doc. PhDr. Karel Pala, CSc.


doc. Mgr. Radek Pelánek, Ph.D.
Problem solving tutor (tutor.fi.muni.cz) project. Intelligent tutoring systems, recommendation systems (with applications in education), educational data mining, computer science education (particularly programming). Human problem solving, cognitive science, artificial intelligence, logic puzzles.

doc. RNDr. Tomáš Pitner, Ph.D.
Enterprise information systems, Large software architectures, Web-based and Service-based systems and architectures, Software engineering, Person-Centered Approach in Technology-enhanced Learning

doc. RNDr. Lubomír Popelínský, PhD.
Data mining, text mining, machine learning, privacy-preserving data mining, knowledge management.

prof. Ing. Václav Přenosil, CSc.
Design and architecture of the digital systems. Dependability and diagnostics of the digital systems. Fault tolerant systems. Embedded systems. Training systems.

doc. RNDr. Václav Račanský, CSc.
Expert systems.

doc. Mgr. Hana Rudová, Ph.D.
Scheduling, timetabling, planning. Educational timetabling. Job scheduling in parallel and distributed environments. Data transfer planning. Solution approaches: constraint programming, meta-heuristics, search algorithms, integer programming.

doc. Ing. Jiří Sochor, CSc.
Computer Graphics: Modelling, rendering and visualization. Human computer interaction. Virtual reality. Haptic based interaction.

doc. RNDr. Petr Sojka, Ph.D.
Digital typography, electronic publishing, visualization. Natural language processing, especially for electronic publishing, machine learning and classification of [mathematical] texts. Digital libraries, digitisation, recognition (OCR) and indexing of texts, including mathematical ones. Information retrieval, text corpora.

doc. Ing. Jan Staudek, CSc.
Information technology security.

prof. Ing. Pavel Zezula, CSc.
Database systems, storage and search structures, multimedia and XML data, distibuted index structures, similarity search, performance evaluation.

doc. Mgr. Mário Ziman, Ph.D.
Quantum information theory. Quantum cryptography. Quantum algorithms and complexity. Quantum randomness. Conceptual role of information in physics.

prof. RNDr. Jiří Zlatuška, CSc.
Elecronic publishing; Information society.