Informatický ústav Univerzity Karlovy
Hlavní náplní Informatického ústavu Univerzity Karlovy je výzkum v oblasti teoretické informatiky, včetně vytváření potřebného zázemí a poskytování trvalé podpory pro vědecko-organizační činnost, s důrazem na zapojení do velkých výzkumných projektů a dalších aktivit na celouniverzitní a mezinárodní úrovni. Ústav se podílí na zajištění doktorského studijního oboru 4I4 Diskrétní modely a na výuce řady povinných předmětů a výběrových přednášek doktorského, magisterského a bakalářského studia z oblasti teoretické informatiky a diskrétní matematiky, zejména z teorie algoritmů, teorie grafů, matematické analýzy, optimalizace a datových struktur.
Akademičtí pracovníci
- Profesoři
- Docenti
- Odborní asistenti
- Lektoři
prof. Mgr. Michal Koucký, Ph.D.
Profesor | IÚUK
Telefon 95155 4328
Místnost S 326
Teoretická informatika, výpočetní složitost, algoritmy a datové struktury
prof. RNDr. Jaroslav Nešetřil, DrSc.
Profesor | IÚUK
Telefon 95155 4229
Místnost S 220
Teoretická informatika
prof. RNDr. Jiří Sgall, DrSc.
Profesor | IÚUK
Telefon 95155 4293
Místnost S 307
Teorie algoritmů, online algoritmy, aproximační algoritmy, rozvrhování, výpočetní složitost
doc. RNDr. Vít Jelínek, Ph.D.
Docent | IÚUK
Telefon 95155 4326
Místnost S 323
Kombinatorika, diskrétní geometrie, teorie grafů
doc. Mgr. Robert Šámal, Ph.D.
Docent | IÚUK
Telefon 95155 4326
Místnost S 323
Barevnost grafů, homomorfismy, nenulové toky, aplikace pravděpodobnosti v kombinatorice
Mgr. Pavel Hubáček, Ph.D.
Odborný asistent | IÚUK
Telefon 95155 4458
Místnost S 326
Kryptografie, výpočetní složitost, teoretická informatika
Mgr. Martin Koutecký, Ph.D.
Odborný asistent | IÚUK
Telefon 95155 4460
Místnost S 326
Teoretická informatika
RNDr. Ondřej Pangrác, Ph.D.
Lektor | IÚUK
Telefon 95155 4149
Místnost S 125
Teorie grafů, grafové algoritmy, teorie matroidů
Vědečtí pracovníci
Ing. David Hartman, Ph.D.
Vědecký pracovník | IÚUK
Telefon 95155 4220
Místnost S 324
Algebraická teorie grafů, kombinatorika, komplexní sítě, optimalizace, intervalová aritmetika
Ida Kantor, M.Sc.
Vědecký pracovník | IÚUK
Místnost S 326
Kombinatorika, teorie grafů, konečné struktury
RNDr. Zuzana Patáková, Ph.D.
Vědecký pracovník | IÚUK
Diskrétní geometrie, algebraické metody v kombinatorice
Externí pracovníci
Andrew Goodall
Externí pracovník | IÚUK
Telefon 95155 2662
Místnost S 125
Algebraické teorie grafů, kombinatorika, topologické teorie grafů
prof. RNDr. Petr Pančoška, CSc.
Externí pracovník | IÚUK
Telefon 95155 1268
Místnost S 324
Teoretická informatika
Ostatní pracovníci
Doktorandi
Mgr. Jan Bok
Doktorand | IÚUK
Místnost S 508
Teorie grafů, kombinatorika, algoritmy, teorie her, intervalová analýza
Debarati Das, Ph.D.
Doktorand | IÚUK
Mgr. Pavel Dvořák
Doktorand | IÚUK
Telefon 95155 4433
Místnost S 508
Výpočetní a komunikační složitost
Mgr. Karel Král
Doktorand | IÚUK
Telefon 95155 4432
Místnost S 508
Výpočetní složitost, teoretická kryptografie
Mgr. Dvořák Pavel
Doktorand | IÚUK
Mgr. Veronika Slívová
Doktorand | IÚUK
Telefon 95155 4432
Místnost S 508
Výpočetní složitost, teoretická kryptografie
