Pracoviště
Katedra teoretické informatiky a matematické logiky
Katedra teoretické informatiky a matematické logiky se zaměřuje na výzkum v oblastech automatizovaného plánování, reprezentace znalostí, booleovských funkcí, robotiky, dolování dat, strojového učení, neuronových sítí, přírodou inspirovaných výpočtů, inteligentních sítí a paralelních a distribuovaných výpočtů. Výzkumné činnosti zahrnují jak teoretické aspekty těchto oblastí, tak jejich praktické aplikace.
Katedra je v úzkém výzkumném kontaktu s místními i mezinárodními partnery a odpovídá za vybrané kurzy pro studenty bakalářského i magisterského studia.
Akademičtí pracovníci
- Profesoři
- Docenti
- Odborní asistenti
- Lektoři
prof. RNDr. Roman Barták, Ph.D.
Profesor | KTIML
Telefon 95155 4242
Místnost S 206
Umělá inteligence, plánování a rozvrhování, splňování omezujících podmínek
prof. RNDr. Ondřej Čepek, Ph.D.
Profesor | KTIML
Telefon 95155 4246
Místnost S 302
Booleovské funkce, reprezentace a kompilace znalostí, kódování do KNF
doc. Mgr. Petr Gregor, Ph.D.
Docent | KTIML
Telefon 95155 4140
Místnost S 305
Teorie grafů, kombinatorické algoritmy, hyperkrychle
doc. RNDr. Iveta Mrázová, CSc.
Docent | KTIML
Telefon 95155 4123
Místnost S 304
Neuronové sítě, dobývání znalostí
doc. Mgr. Martin Pilát, Ph.D.
Docent | KTIML
Telefon 95155 4243
Místnost S 305
Evoluční algoritmy, strojové učení, vícekriteriální optimalizace, hluboké učení, zpětnovazební učení
RNDr. Jiří Švancara, Ph.D.
Odborný asistent | KTIML
Telefon 95155 4313
Místnost S 206
Multiagentní plánování cest, umělá inteligence, SAT
RNDr. Jiří Fink, Ph.D.
Lektor | KTIML
Telefon 95155 4425
Místnost S 305
Kombinatorická optimalizace, umělá inteligence, plánování a rozvrhování
RNDr. Jan Hric
Lektor | KTIML
Externí pracovník | Akademický senát
Telefon 95155 4283
Místnost S 302
Logické programování, funkcionální programování, umělá inteligence
RNDr. Petr Kučera, Ph.D.
Lektor | KTIML
Telefon 95155 4138
Místnost S 304
SAT řešiče, kompilace znalostí, reprezentace omezujících podmínek pro SAT
RNDr. David Obdržálek, Ph.D.
Lektor | KTIML
Telefon 95155 2940
Místnosti S 124, N 237
Mobilní robotika, autonomní vozidla, Internet of Things
Mgr. Marta Vomlelová, Ph.D.
Lektor | KTIML
Telefon 95155 4248
Místnost S 303
Pravděpodobnostní grafické modely, strojové učení
Vědečtí pracovníci
Externí pracovníci
Mgr. Gabriela Kadlecová
Externí pracovník | KTIML
doc. RNDr. Antonín Kučera, CSc.
Externí pracovník | KTIML
Telefon 95155 4244
Místnost S 303
Vyčíslitelnost, algoritmická náhodnost
Martin Plátek, CSc.
Externí pracovník | KTIML
Telefon 95155 4142
Místnost S 206
Teorie automatů, matematická lingvistika, restartovací automaty
Ostatní pracovníci
Doktorandi
Mgr. Petra Vysušilová
Doktorand | KTIML