18101 Katedra teoretické informatiky
- vedoucí: doc. Ing. Jan Holub, Ph.D. kti@fit.cvut.cz, tel: 2 2435 9814
- sekretariát: Ing. Regina Pešková, Regina.Peskova@fit.cvut.cz, tel: 2 2435 9876
KTI je zaměřena na základní výzkum v oblasti teorie automatů, formálních jazyků, gramatik, překladačů, v oblasti stringologie (algoritmy pro zpracování řetězců) a nové vědní disciplíny arbologie (algoritmy pro zpracování stromů), komprese dat a výpočetní inteligence. Výzkumné skupiny The Prague Stringology Club Computational Intelligence Group
Výuka BSP Informatika
KTI zajišťuje výuku povinných předmětů Programování a algoritmizace 1 (BI-PA1), Programování a algoritmizace 2 (BI-PA2), povinného předmětu Automaty a gramatiky (BI-AAG) a souvisejícího předmětu Programovací jazyky a překladače (BI-PJP). Oborových předmětů oboru Teoretická informatika, které prohlubují teoretické znalosti studenta a připravují ho k následnému magisterskému studiu: Efektivní algoritmy (BI-EFA), Grafové algoritmy a základy teorie složitosti (BI-GRA), Efektivní implementace algoritmů (BI-EIA) a Vytěžování znalostí z dat (BI-VZD).
Lidé
| Jméno a příjmení | Funkce | Telefon | Místnost | |
|---|---|---|---|---|
| Ing. Jan Baier | doktorand | baierjan@fit.cvut.cz | A-1028 | |
| Ing. Miroslav Balík, Ph.D. | odborný asistent | miroslav.balik@fit.cvut.cz | +420-22435-9816 | A-1131 |
| Ing. RNDr. Michal Černý, Ph.D. | externí spolupracovník | cernym28@fit.cvut.cz | ||
| Ing. Ondřej Guth | doktorand | ondrej.guth@fit.cvut.cz | +420-22435-6401 | A-1131 |
| prof. Ing. Michal Haindl, DrSc. | profesor | michal.haindl@fit.cvut.cz | +420-22435-9875 | A-1130 |
| doc. Ing. RNDr. Martin Holeňa, CSc. | docent | martin.holena@fit.cvut.cz | +420-22435-9875 | A-1130 |
| doc. Ing. Jan Holub, Ph.D. | docent | holub@fit.cvut.cz | +420-22435-9814 | A-1131 |
| doc. Ing. Jan Janoušek, Ph.D. | docent | jan.janousek@fit.cvut.cz | A-1132 | |
| Ing. Martin Kačer, Ph.D. | odborný asistent | martin.kacer@fit.cvut.cz | A-1132 | |
| Ing. Robert Kessl, Ph.D. | odborný asistent | robert.kessl@fit.cvut.cz | A-1132 | |
| doc. RNDr. Josef Kolář, CSc. | docent | kolar@fit.cvut.cz | +420-22435-9872 | A-1132 |
| Ing. Pavel Kordík, Ph.D. | odborný asistent | pavel.kordik@fit.cvut.cz | +420-22435-9815 | 342b |
| Ing. Mikuláš Krupička | doktorand | krupimik@fit.cvut.cz | A-1128 | |
| prof. RNDr. Luděk Kučera, DrSc. | profesor | kucerlud@fit.cvut.cz | A-1132 | |
| Ing. Michal Máca | externí spolupracovník | macamich@fit.cvut.cz | ||
| Ing. Radek Malinský | externí spolupracovník | malinrad@fit.cvut.cz | ||
| Mgr. Petr Matyáš | odborný asistent | petr.matyas@fit.cvut.cz | +420-22435-6401 | A-1131 |
| prof. Ing. Bořivoj Melichar, DrSc. | profesor | melichar@fit.cvut.cz | +420-22435-9873 | A-1132 |
| Ing. Regina Pešková | odborný asistent | regina.peskova@fit.cvut.cz | +420-22435-9876 | A-1133 |
| Ing. Martin Plicka | doktorand | martin.plicka@fit.cvut.cz | A-1028 | |
| Ing. Radomír Polách | doktorand | polacrad@fit.cvut.cz | A-1028 | |
| Ing. Martin Poliak | doktorand | poliamar@fit.cvut.cz | A-1028 | |
| Ing. Petr Procházka | doktorand | petr.prochazka@fit.cvut.cz | A-1028 | |
| Bc. Miroslav Sikora | externí spolupracovník | sikormir@fit.cvut.cz | ||
| Ing. Jan Trávníček | doktorand | travnja3@fit.cvut.cz | A-1028 | |
| Ing. Ladislav Vagner, Ph.D. | odborný asistent | ladislav.vagner@fit.cvut.cz | +420-22435-6401 | A-1131 |
| Ing. Jan Žďárek, Ph.D. | odborný asistent | jan.zdarek@fit.cvut.cz | +420-22435-6401 | A-1131 |