Školitelé a jejich odborné zaměření

Následující přehled uvádí jména školitelů působících na Fakultě informatiky a stručně vymezuje jejich odborné zaměření. Tato informace může napomoci uchazečům o doktorské studium při specifikaci oblasti odborného zájmu pro studium.
Konzultantem se rozumí osoba, která pomáhá školiteli studenta odborně vést. Ke studiu se ovšem student musí hlásit u školitele.

Je vhodné, aby uchazeč předem konzultoval zamýšlené téma se školitelem. Po dohodě s některým ze školitelů je možné uvést i oblast odborného zájmu, která není obsažena v níže uvedené nabídce.

V případě pochybností, na kterého školitele se obrátit, může uchazeč kontaktovat proděkana pro výzkum, vývoj a doktorské studium.

Fotis Liarokapis, Ph.D.
Procedural Simulation of Natural Phenomena, Procedural Generation of Cultural Heritage Environments, Crowd Modelling Techniques for Virtual Environments.
Kapacita: 2 phd studenti
V případě zájmu o tohoto školitele prosím kontaktujte veda(atsign)fi(dot)muni(dot)cz: veda(atsign)fi(dot)muni(dot)cz

doc. RNDr. Jiří Barnat, Ph.D.
Nástroje pro automatizovanou formální analýzu a verifikaci rozsáhlých systémů.

doc. Ing. Michal Brandejs, CSc.
Informační systémy.

doc. RNDr. Tomáš Brázdil, Ph.D.


prof. RNDr. Luboš Brim, CSc.
Formální metody pro verifikaci a analýzu počítačových systémů (model checking, equivalence checking, performance analysis, model-based testing). Algoritmy, techniky a nástroje pro efektivní verifikaci a analýzu velkých systémů (paralelní a distribuovaná verifikace využívající vícejadrových architektur a sítí počítačových stanic, verifikace na externích discích).

Formální metody v molekulární a systémové biologii (analýza genetických regulačních sítí a signálních cest).
Konzultant: RNDr. David Šafránek, Ph.D.


prof. RNDr. Vladimír Bužek, DrSc.
Kvantové zpracování informace a kvantová komunikace.

prof. RNDr. Ivana Černá, CSc.
Formální metody specifikace a verifikace výpočetních systémů. Algoritmy a nástroje pro efektivní analýzu, návrh a ověřování vlastností rozsáhlých (souběžných) systémů. Aplikace metod formální verifikace při komponentovém vývoji softwarových systémů. Aplikace metod formální verifikace v systémové biologii. Návrh a analýza algoritmů.

doc. RNDr. Vlastislav Dohnal, Ph.D.
Podobnostní vyhledávací systémy. Zpracování a vyhledávání v databázích obrázků. Techniky indexování.

doc. RNDr. Ladislav Dušek, Ph.D.


prof. RNDr. Jozef Gruska, DrSc.
Metody kvantového zpracování informace: základní prvky a techniky, kvantové automaty, algoritmy a protokoly. Kvantová výpočtová a komunikační složitost. Metody a techniky široce chápané kvantové kryptografie.
Klasická kryptografie. Kryptografické protokoly a jejich bezpečnost. Náhodnostní algoritmy.
Základy a historie informatiky jako fundamentalní vědy s podobnými cíli jako fyzika. Základy a historie informatiky jako základu třetí metodologie vědy, vedle teoretické a experimentální.
Vztah informatiky, fyziky a matematiky.
Konzultant: RNDr. Jan Bouda, Ph.D., prof. Mgr. Tomáš Tyc, Ph.D.

doc. RNDr. Eva Hladká, Ph.D.
Problematika počítačových sítí a kolaborativních prostředí.
Vícesměrové přenosy (multicast), virtuální multicast, programovatelné (aktivní) sítě a jejich aplikace. Síťová podpora kolaborativních prostředí, replikace, protokoly pro specifické potřeby kolaborativních prostředí. Aplikace kolaborativních prostředí ve výuce.

prof. RNDr. Petr Hliněný, Ph.D.
Kombinatorické a parametrizované algoritmy, parametrizovaná složitost. Kombinatorická optimalizace, speciálně efektivní hledání optimálních cest.
Topologická a strukturální teorie grafů. Grafové minory, šířkové parametry (tree-width, branch-width, rank-width). Průsečíkové číslo grafu, kreslení a reprezentace grafů.
Konzultanti: Mgr. Jan Obdržálek, Ph.D., Alexandru Popa, Ph.D.

doc. RNDr. Aleš Horák, Ph.D.
Zpracování přirozeného jazyka (syntaktická analýza, sémantická analýza, extrakce znalostí), reprezentace a vyvozování znalostí, umělá inteligence, multiagentní systémy.

prof. RNDr. Jiří Hřebíček, CSc.
Informační systémy v biologii a životní prostředí (ICT pro jejich návrh a realizaci).
Matematické modelování v biologii a životním prostředí (ICT pro návrh, implementaci a verifikaci řešení biologických a environmentálních problémů).
Konzultant: doc. RNDr. Ladislav Dušek, Ph.D.

prof. RNDr. Jaroslav Koča, DrSc.
Počítačové modelování a simulace v chemii a biologii. Chemoinformatika a bionformatika.
Konzultant: RNDr. Radka Svobodová Vařeková, Ph.D.

doc. RNDr. Ivan Kopeček, CSc.
Syntéza řeči, rozpoznávání řeči, mluvené korpusy, dialogové systémy. Aplikace zejména pro pomoc handicapovaným lidem.

prof. RNDr. Michal Kozubek, Ph.D.
Pořizování a analýza digitálních obrazů, automatizace těchto procesů a biomedicínské aplikace s použitím optické mikroskopie. Optimalizace kritických algoritmů s ohledem na kvalitu a/nebo kvantitu výsledků. Simulace formování obrazu v optických soustavách: rozmazání, šum, artefakty a jejich korekce pomocí hardwarových a/nebo softwarových prostředků. Analýza vícerozměrných obrazových dat. Segmentace buněk a jejich částí. Sledování pohybujících se objektů při pozorování živých buněk.
Konzultant: RNDr. David Svoboda, Ph.D.

prof. RNDr. Jaroslav Král, DrSc.
Techniky návrhu a realizace informačních systémů. Využití autonomních komponent při realizaci velkých SW systémů. Společenské důsledky informatizace.

prof. RNDr. Mojmír Křetínský, CSc.
Paralelní a distribuované systémy; teorie souběžných procesů: modelování, analýza a verifikace nekonečně stavových systémů, sémantiky, algebry procesů/procesové přepisovací systémy, (ne)rozhodnutelnost; souběžné procesy s omezeními (concurrent constraint programming).
Konzultant: RNDr. Vojtěch Řehák, Ph.D., doc. RNDr. Jan Strejček, Ph.D.

prof. RNDr. Antonín Kučera, Ph.D.
Formální modelování a verifikace počítačových systémů (model checking, equivalence checking). Modální a temporální logiky a jejich pravděpodobnostní rozšíření. Teorie her a její aplikace v informatice (Markovovy rozhodovací procesy, stochastické hry). Efektivní analýza stochastických systémů a systémů s nekonečně mnoha stavy. Metody, algoritmy a nástroje pro analýzu a verifikaci programů v imperativních jazycích.
Konzultant: doc. RNDr. Tomáš Brázdil, Ph.D., Mgr. Jan Obdržálek, Ph.D.

prof. PhDr. Pavel Materna, CSc.
Logika ve vztahu k logické analýze přirozeného jazyka.

doc. RNDr. Pavel Matula, Ph.D.
Analýza digitálních obrazů a biomedicínské aplikace s použitím optické mikroskopie. Analýza vícerozměrných obrazových dat. Segmentace obrazu pomocí matematicky dobře založených metod (aktivní křivky a plochy, minimalizace pomocí grafových řezů, ...). Sledování pohybujících se objektů při pozorování živých buněk.

doc. RNDr. Petr Matula, Ph.D.
Analýza vícerozměrných biomedicínských obrazových dat zejména pořízených optickými mikroskopy.
Matematická morfologie.

prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
Aplikovaná kryptografie, bezpečnost v informačních technologiích, ochrana informačního soukromí.
Konzultant: RNDr. Marek Kumpošt, Ph.D., Ing. Mgr. Zdeněk Říha, Ph.D., RNDr. Petr Švenda, Ph.D.

prof. RNDr. Luděk Matyska, CSc.
Paralelní a distribuované systémy (Gridy, metapočítače), monitorování a správa Gridů, včetně důsledků pro jejich robustnost a fault toleranci; paralelní a distribuované aplikace.
Vysokorychlostní sítě a jejich přenosové protokoly, multimediální přenosy, včetně využití pro podporu výuky.
Plánování v distribuovaných systémech, založené především na (logickém) programování s omezujícími podmínkami.
Konzultant: RNDr. Petr Holub, Ph.D., Mgr. Aleš Křenek, Ph.D., RNDr. Radka Svobodová Vařeková, Ph.D.

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.
Počítačové zpracování přirozeného jazyka, zejména: textové korpusy, syntaktická a sémantická analýza přirozeného jazyka, dialogové systémy, počítačová lexikografie, strojový překlad.
Konzultant: Mgr. Pavel Rychlý, Ph.D.

doc. Mgr. Radek Pelánek, Ph.D.
Inteligentní výukové systémy, adaptabilní procvičování, doporučující systémy (s aplikacemi ve výuce), dolování výukových dat, strojové učení, modelování znalostí studentů. Příklady projektů: "Problem solving tutor" (tutor.fi.muni.cz), "Slepé mapy" (slepemapy.cz). Řešená témata využívají netrivální matematické a informatické metody (statistické modely, strojové učení) a mají současně bezprostřední rozsáhlý dopad (tisíce uživatelů).

doc. RNDr. Tomáš Pitner, Ph.D.
Systémy pro monitoring, inteligentní budovy a sítě, rozsáhlé softwarové architektury, přístup orientovaný na člověka v elektronické podpoře výuky.
Konzultant: Ing. RNDr. Barbora Bühnová, Ph.D.

doc. RNDr. Lubomír Popelínský, Ph.D.
Dolování v datech a v textu, strojové učení.

prof. Ing. Václav Přenosil, CSc.
Konstrukce a architektura číslicových systémů. Spolehlivost a diagnostika číslicových systémů. Systémy odolné poruchám. Vestavné systémy. Výcvikové systémy.
Konzultant: Ing. Pavel Čeleda, Ph.D.

doc. RNDr. Václav Račanský, CSc.
Expertní systémy.
Konzultant: Ing. Pavel Čeleda, Ph.D.

doc. Mgr. Hana Rudová, Ph.D.
Problematika plánování a rozvrhování. Rozvrhování výuky. Plánování úloh a zdrojů v paralelním a distribuovaném prostředí. Plánování datových přenosů. Metody řešení: programování s omezujícími podmínkami, meta-heuristiky, prohledávací algoritmy, celočíselné programování.

doc. Ing. Jiří Sochor, CSc.
Počítačová grafika: Modelování, vykreslování a vizualizace. Interakce člověka s počítačem. Virtuální realita. Haptická interakce.
Konzultant: Mgr. Martin Dostál, Ph.D., RNDr. Barbora Kozlíková, Ph.D., RNDr. Radek Ošlejšek, Ph.D.,
Ing. Vlastimil Havran, Ph.D., ČVUT v Praze

doc. RNDr. Petr Sojka, Ph.D.
Digitální typografie, elektronické publikování, vizualizace. Počítačové zpracování přirozeneho jazyka, zejména pro elektronické publikování, strojové učení a klasifikace [matematických] textů. Digitální knihovny, digitalizace, rozpoznávání (OCR) a indexace textů včetně matematických. Získávání znalostí a textové korpusy.

doc. Ing. Jan Staudek, CSc.
Bezpečnost v informačních technologiích.

doc. RNDr. Jan Strejček, Ph.D.
Formální metody pro analýzu programů: algoritmy a nástroje pro generování testů, automatické hledání chyb a verifikaci programů. Vlastnosti modálních a temporálních logik (zejména LTL) a jejich fragmentů, překlad LTL na automaty.

prof. Ing. Pavel Zezula, CSc.
Databázové systémy, ukládací a vyhledávací struktury, multimediální a XML data, distribuované indexování, podobnostní hledání, vyhodnocování efektivnosti.
Konzultant: RNDr. Michal Batko, Ph.D., RNDr. David Novák, Ph.D., RNDr. Jan Sedmidubský, Ph.D.

doc. Mgr. Mário Ziman, Ph.D.
Kvantová teorie informace. Kvantová kryptografie. Kvantové algoritmy a složitost. Kvantová náhodnost. Postavení konceptu informace ve fyzice.

prof. RNDr. Jiří Zlatuška, CSc.
Elekronické publikování. Informační společnost.