Supervisors and Their Subject Areas
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.
prof. RNDr. Jiří Barnat, Ph.D.
Software tools for automated formal analysis and verification of large-scale systems.
Dr. rer. nat. Achim Blumensath
Logic, Algorithmic Model Theory, Automata Theory, Formal Language Theory.
doc. RNDr. Jan Bouda, Ph.D.
Randomness, Cryptography, Information theory, Quantum Information Processing.
doc. Ing. Michal Brandejs, CSc.
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.
doc. Ing. Pavel Čeleda, Ph.D.
Network traffic measurement in high-speed networks, traffic analysis in computer networks and critical network infrastructures, computer networks security, detection of attacks and anomalies using behavioral methods.
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.
doc. RNDr. Vlastislav Dohnal, Ph.D.
Similarity data management. Organizing and searching image databases. Indexing structures.
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.
prof. RNDr. Petr Hliněný, Ph.D.
Combinatorial and parameterized algorithmics: parameterized complexity, combinatorial optimization, FO and MSO model checking, metatheorems.
Topological and structural graph theories: graph minors, width and depth parameters, sparsity, graph crossing number, drawings and representations of graphs.
doc. RNDr. Petr Holub, Ph.D.
Computer networks: protocols for high-speed networks, self-organizing networks systems, data transfer planning, forward error correction and its efficient computations, smartgrids.
Multimedia processing: acceleration of multimedia coding and compression on GPU, multimedia transfers in computer networks, low-latency data processing and distribution.
Collaborative environments: network-based collaborative environments using multimedia, human-computer interactions in collaborative environments.
doc. RNDr. Aleš Horák, Ph.D.
Natural language processing (syntactic analysis, semantic analysis, knowledge extraction), knowledge representation and reasoning, artificial intelligence, multiagent systems.
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. Barbora Kozlíková, Ph.D.
Visualization and visual analysis for the purpose of data exploration, analysis, and presentation.
prof. RNDr. Michal Kozubek, Ph.D.
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. Daniel Kráľ, Ph.D.
Structural graph theory (graph coloring in particular), analytic methods in combinatorics (graph limits and their applications in extremal graph theory), and algorithmic graph theory (algorithmic metatheorems, width parameters, applications of logic methods).
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.
doc. Fotis Liarokapis, PhD
Procedural Simulation of Natural Phenomena, Procedural Generation of Cultural Heritage Environments, Crowd Modelling Techniques for Virtual Environments.
prof. PhDr. Pavel Materna, CSc.
Logic as related to Logical Analysis of Natural Language.
doc. RNDr. Pavel Matula, Ph.D.
Digital image analysis and biomedical applications using optical microscopy. Analysis of higher-dimensional image data. Image segmentation using mathematically well founded methods (active contours, graph-cut minimalization, etc.). Object tracking in live cell imaging.
doc. RNDr. Petr Matula, Ph.D.
Analysis of multi-dimensional biomedical image data mostly acquired using optical microscopes. Mathematical morphology.
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, multimedia 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.
prof. PhDr. Karel Pala, CSc.
Natural Language Processing, especially: text corpora, morphological, syntactic and semantic analysis of natural language, dialogue systems, computer lexicography, machine translation.
doc. Mgr. Radek Pelánek, Ph.D.
Intelligent tutoring systems, computerized adaptive practice, recommendation systems (with applications in education), educational data mining, machine learning, student modeling. Examples of projects: “Problem solving tutor” (tutor.fi.muni.cz), adaptive practice of geography (slepemapy.cz).
doc. RNDr. Tomáš Pitner, Ph.D.
Monitoring systems, Intelligent buildings and Smart-grids, Large software architectures, Person-Centered Approach in Technology-enhanced Learning.
doc. RNDr. Lubomír Popelínský, Ph.D.
Data mining, text mining, machine learning.
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. 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.
prof. Ing. Jiří Sochor, CSc.
Computer Graphics: Modelling, rendering and visualization. Human computer interaction. Virtual reality. Haptic based interaction.
doc. RNDr. Petr Sojka, Ph.D.
Machine learning [of text and word representation]. Natural language processing. Classification of [mathematical] texts.
Information retrieval, text corpora. Digital libraries, digitisation, recognition (OCR) and indexing.
Digital typography, electronic publishing, visualization.
doc. Ing. Jan Staudek, CSc.
Information technology security.
doc. RNDr. Jan Strejček, Ph.D.
Formal methods for program analysis: algorithms and tools for test generation, automatic bug finding, and software verification. Properties of modal and temporal logics (especially LTL) and their fragments, translation of LTL to automata.
doc. RNDr. David Svoboda, Ph.D.
Virtual cell imaging. Image-based and model-based simulations in optical microscopy. Validation of artificial image data. Analysis of higher-dimensional biomedical image data, including temporal aspects.
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.
Electronic publishing. Information society.