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 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).
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.
doc. RNDr. Eva Hladká, Ph.D.
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. 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, Ph.D.
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 mathematicaly 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, 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.
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.
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.
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.
prof. PhDr. David Šmahel, Ph.D.
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.
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 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.
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.
doc. RNDr. Eva Hladká, Ph.D.
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. 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, Ph.D.
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 mathematicaly 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, 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.
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.
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.
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.
prof. PhDr. David Šmahel, Ph.D.
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.