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.
Information systems.
doc. RNDr. Tomáš Brázdil, Ph.D.
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).
doc. Ing. RNDr. Barbora Bühnová, Ph.D.
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.
doc. RNDr. Ladislav Dušek, Ph.D.
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.
doc. Mgr. Pavel Rychlý, Ph.D.
Processing of text, natural language processing, information extraction, big data
doc. RNDr. Vojtěch Řehák, Ph.D.
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. PhDr. David Šmahel, Ph.D.
Human Computer Interaction (HCI), Usable Security, Social Informatics, User Experience (UX),
Risks of the Technology Usage (online addictions, online aggression),
Digital Technology and Well-being
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.