Témata doktorských prací v oblastech

• Řešení rozsáhlých a řídkých lineárních systémů (Tůma, FJFI ČVUT, matematické inženýrství)
• Teorie konvergence iteračních metod v numerické lineární algebře (Strakoš, MFF UK, vědecko-technické výpočty)
• Numerická stabilita metod lineární algebry (Strakoš, MFF UK, vědecko-technické výpočty)
• Numerické metody lineárního modelování nepřesných dat (Strakoš, MFF UK, vědecko-technické výpočty)

Teoretická informatika

• Abstraktní algebraická logika (Cintula)
• Substrukturální logiky a residuované svazy (Cintula, Horčík, Haniková)
• Klasifikační stromy a lesy (Savický)
  Klasifikační stromy a jejich množiny, které se nazývají klasifikační lesy, jsou vhodnou metodu predikce neznámé třídy na základě známých numerických nebo kategoriálních atributů ve složitých rozděleních, pro která je k dispozici dostatečné množství trénovacích příkladů. Jde zejména o metody CART, C4.5, Random Forests. Cílem práce je zkoumání vlastností uvedených metod a jejich modifikací.
• Složitostní míry neuronových sítí (Šíma)

Nelineární modelování

• Matematické a statistické metody pro asimilaci dat v rozsáhlých dynamických systémech - modelování a předpověď počasí a čistoty ovzduší. (Eben)
• Metody prostorové statistiky a jejich využití pro modelování a vyhodnocování meteorologických a environmentálních polí. (Eben, Pelikán)
• Aplikace umělých neuronových sítí pro predikci časových řad. (Pelikán)
• Detekce a charakterizace synchronizačních jevů v časových řadách. (Paluš)

Medicínská informatika

• Statistické metody pro redukci dimenzionality a klasifikaci mnohorozměrných dat, s aplikacemi v biomedicíně. (Valenta, 1. LF UK, Biomedicínská informatika)
• Analýza mnohorozměrných cenzorovaných dat o přežívání (Valenta, 1. LF UK, Biomedicínská informatika)
• Robustní analýza obrazu při hodnocení molekulárně genetických studií (Kalina, 1. LF UK, Biomedicínská informatika)

Optimalizace a systémy

• Constraint Solving (Ratschan)
• Verification of Complex Systems (Ratschan)