Lidé
Vyhledávání
- Všichni lidé
- Profesoři
- Docenti
- Odborní asistenti
- Lektoři
- Vědečtí pracovníci
- Externí pracovníci
- Ostatní pracovníci
- Doktorandi
Nebyli nalezeni žádní odpovídající zaměstnanci
Profesoři
prof. RNDr. Roman Barták, Ph.D.
Umělá inteligence, plánování a rozvrhování, splňování omezujících podmínek
prof. RNDr. Tomáš Bureš, Ph.D.
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy
prof. RNDr. Ondřej Čepek, Ph.D.
Booleovské funkce, reprezentace a kompilace znalostí, kódování do KNF
prof. Mgr. Zdeněk Dvořák, Ph.D.
prof. RNDr. Jan Hajič, Dr.
Korpusy jazykových dat, slovníky, sémantika, strojový překlad, zpracování přirozeného jazyka
prof. PhDr. Eva Hajičová, DrSc.
Korpusy jazykových dat, syntax, sémantika, informační struktura, analýza diskurzu
prof. Mgr. Milan Hladík, Ph.D.
Optimalizace, lineární algebra, intervalové počítání
prof. Mgr. Michal Koucký, Ph.D.
Teoretická informatika, výpočetní složitost, algoritmy a datové struktury
prof. RNDr. Jan Kratochvíl, CSc.
Teoretická informatika
prof. RNDr. Martin Loebl, CSc.
Diskrétní matematika, algoritmy a složitost, optimalizace
prof. RNDr. Jaroslav Nešetřil, DrSc.
Teoretická informatika
prof. PhDr. Jarmila Panevová, DrSc.
Morfologie, syntax, valence, tektogramatická reprezentace, koreference
prof. RNDr. Jaroslav Pokorný, CSc.
Databázové systémy, dotazovací jazyky, organizace dat, NoSQL databáze, Big Data, grafové databáze
prof. RNDr. Jiří Sgall, DrSc.
Teorie algoritmů, online algoritmy, aproximační algoritmy, rozvrhování, výpočetní složitost
prof. RNDr. Tomáš Skopal, Ph.D.
Podobnostní vyhledávání, multimedia retrieval, databázové systémy, nestrukturovaná data
prof. Ing. Petr Tůma, Dr.
Výkon software, metody měření, performance engineering
prof. Dr. techn. Alexander Wilkie
Emeritní profesoři
prof. Ing. František Plášil, DrSc.
Softwarové architektury, samo-adaptující se systémy, formální metody
prof. RNDr. Aleš Pultr, DrSc.
Teoretická informatika
prof. RNDr. Karel Zimmermann, DrSc.
Operační výzkum, optimalizace
Hostující profesoři
prof. Václav Chvátal, Ph.D.
Hostující profesor | KAM
Místnost S 220
Docenti
doc. RNDr. Martin Balko, Ph.D.
Teorie grafů, kombinatorika, Ramseyova teorie, kombinatorická geometrie
doc. RNDr. Ondřej Bojar, Ph.D.
Strojový překlad, reprezentace významu, hluboké učení, strojové učení, multilingualita
doc. Mgr. Cyril Brom, Ph.D.
Multimediální vzdělávání, výuka prostřednictvím her a multimédií, didaktika informatiky, pedagogická psychologie, kognitivní neuropsychologie
doc. Ing. Lubomír Bulej, Ph.D.
Dynamická analýza programů, vyhodnocování a testování výkonnosti software
doc. RNDr. Tomáš Dvořák, CSc.
Diskrétní matematika, algoritmy a datové struktury
doc. RNDr. Jiří Fiala, Ph.D.
Grafové algoritmy, výpočetní složitost, třídy grafů
doc. Mgr. Petr Gregor, Ph.D.
Teorie grafů, kombinatorické algoritmy, hyperkrychle
doc. RNDr. Petr Hnětynka, Ph.D.
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy
doc. RNDr. David Hoksza, Ph.D.
Bioinformatika, chemická informatika, vizualizace
doc. RNDr. Irena Holubová, Ph.D.
NoSQL databáze, mutli-model databáze, management změn
doc. Mgr. Jan Hubička, Ph.D.
Teoretická informatika
doc. RNDr. Vít Jelínek, Ph.D.
Kombinatorika, diskrétní geometrie, teorie grafů
doc. RNDr. Martin Klazar, Dr.
Enumerativní (a extremální) kombinatorika, teorie čísel
doc. RNDr. Jakub Klímek, Ph.D.
Sémantický web, propojená data, webové služby, re-decentralizace webu
doc. RNDr. Jan Kofroň, Ph.D.
Verifikace software, model checking
doc. Mgr. Petr Kolman, Ph.D.
Teorie algoritmů, aproximační algoritmy, teorie grafů, optimalizace
doc. RNDr. Martin Kruliš, Ph.D.
Paralelní programování a výkonnostní optimalizace, webové technologie, datová analýza a strojové učení, podobnostní vyhledávání
doc. Mgr. Jan Kynčl, Ph.D.
Diskrétní geometrie, kombinatorika, kreslení grafů
doc. RNDr. Markéta Lopatková, Ph.D.
Počítačová lingvistika, syntakticky anotované korpusy, závislostní syntax, valence, lexikální sémantika
doc. RNDr. Iveta Mrázová, CSc.
Neuronové sítě, dobývání znalostí
doc. Mgr. Martin Nečaský, Ph.D.
Sémantický web, propojená data, znalostní grafy, konceptuální modelování
doc. RNDr. Pavel Parízek, Ph.D.
Verifikace software, analýza programů
doc. RNDr. Pavel Pecina, Ph.D.
Počítačová lingvistika, zpracování přirozeného jazyka, strojový překlad, vyhledávání informací, multimodalita
doc. Mgr. Martin Pilát, Ph.D.
Evoluční algoritmy, strojové učení, vícekriteriální optimalizace, hluboké učení, zpětnovazební učení
doc. Mgr. Robert Šámal, Ph.D.
Barevnost grafů, homomorfismy, nenulové toky, aplikace pravděpodobnosti v kombinatorice
doc. RNDr. Elena Šikudová, Ph.D.
prof. RNDr. Martin Tancer, Ph.D.
Teoretická informatika
doc. Hans Raj Tiwary, M.Sc., Ph.D.
Teoretická informatika
doc. RNDr. Pavel Töpfer, CSc.
doc. RNDr. Pavel Valtr, Dr.
Teoretická informatika, kombinatorická geometrie
doc. Mgr. Barbora Vidová Hladká, Ph.D.
Počítačová lingvistika, syntakticky anotované korpusy, zpracování přirozeného jazyka
prof. Ing. Zdeněk Žabokrtský, Ph.D.
Syntakticky anotované korpusy, derivační morfologie, závislostní syntax, jazyková data, zpracování přirozeného jazyka
Odborní asistenti
RNDr. Jakub Bulín, Ph.D.
Mgr. et Mgr. Ondřej Dušek, Ph.D.
Dialogové systémy, generování přirozeného jazyka, chatboty, hluboké učení
Mgr. Pavel Hubáček, Ph.D.
Kryptografie, výpočetní složitost, teoretická informatika
Mgr. Tereza Klimošová, Ph.D.
Teorie grafů, kombinatorika
Mgr. Martin Koutecký, Ph.D.
Teoretická informatika
RNDr. David Mareček, Ph.D.
Syntaktická analýza a parsery, strojový překlad, multilingualita, hluboké neuronové sítě, reprezentace významu
Irena Penev, Ph.D.
Teorie grafů, grafové algoritmy
Mgr. Ladislav Peška, Ph.D.
Odborný asistent | KSI
Místnost S 208
Doporučovací systémy, uživatelské preference, information retrieval, aplikované strojové učení
Mgr. Tomáš Petříček, Ph.D.
Odborný asistent | KDSS
Místnost S 204
Mgr. Martin Schmid, Ph.D.
Odborný asistent | KAM
Místnost S 325
RNDr. Milan Straka, Ph.D.
Hluboké učení, zpracování přirozeného jazyka, morfologická analýza a tagging, syntaktická analýza a parsing, univerzální závislosti
RNDr. Jiří Švancara, Ph.D.
Multiagentní plánování cest, umělá inteligence, SAT
Mgr. Pavel Veselý, Ph.D.
Lektoři
RNDr. David Bednárek, Ph.D.
Překladače, programování zaměřené na výkon, programování a metaprogramování v C++
RNDr. Jiří Fink, Ph.D.
Kombinatorická optimalizace, umělá inteligence, plánování a rozvrhování
Mgr. Lenka Forstová
Správce Recodexu a Selectu
Mgr. Jakub Gemrot, Ph.D.
Vývoj her, herní umělá inteligence, výpočetní kreativita, herní design
RNDr. Jiří Hana, Ph.D.
Zpracování přirozeného jazyka, generování přirozeného jazyka, morfologie, univerzální závislosti
RNDr. Tomáš Holan, Ph.D.
Programování, podpora výuky pomocí programů, umělá inteligence společenských her
RNDr. Martin Holub, Ph.D.
Zpracování přirozeného jazyka, lexikální sémantika, víceslovné výrazy, slovníky, korpusy jazykových dat, multilingualita
RNDr. Jan Hric
Logické programování, funkcionální programování, umělá inteligence
Mgr. Pavel Ježek, Ph.D.
Výuka programování, C#, .NET
RNDr. Michal Kopecký, Ph.D.
Relační databáze, doporučování, sémantizace
RNDr. Petr Kučera, Ph.D.
SAT řešiče, kompilace znalostí, reprezentace omezujících podmínek pro SAT
Mgr. Martin Mareš, Ph.D.
Algoritmy a datové struktury
RNDr. Jana Maxová, Ph.D.
RNDr. František Mráz, CSc.
Teorie automatů, formální jazyky, strojové učení, bioinformatika
RNDr. David Obdržálek, Ph.D.
Mobilní robotika, autonomní vozidla, Internet of Things
RNDr. Ondřej Pangrác, Ph.D.
Teorie grafů, grafové algoritmy, teorie matroidů
RNDr. Josef Pelikán
Počítačová grafika, rozšířená realita, virtuální realita, programování GPU
RNDr. Martin Pergel, Ph.D.
Teorie složitosti, grafy s geometrickými reprezentacemi, algoritmy a programování
Mgr. Nino Peterek, Ph.D.
Počítačová lingvistika, zpracování řeči, korpusy jazykových dat, multilingualita, multimodalita
RNDr. Martin Svoboda, Ph.D.
NoSQL databáze, dotazovací jazyky, maximalizace šíření vlivu, regulární stromové gramatiky, propojená data
Mgr. Jiří Šejnoha
Teoretická informatika
Mgr. Marta Vomlelová, Ph.D.
Pravděpodobnostní grafické modely, strojové učení
RNDr. Jakub Yaghob, Ph.D.
Paralelní/distribuované/výkonové výpočty, překladače, zpracování velkých dat, programování v C++
RNDr. Filip Zavoral, Ph.D.
Vývoj software, C++, distribuované systémy, zpracování dat
Vědečtí pracovníci
Mgr. Eva Fučíková
Syntakticky anotované korpusy, slovníky, valence
Mgr. Elif Garajová, Ph.D.
Optimalizace, operační výzkum, intervalové počítání
Mgr. Jana Hamrlová, Ph.D.
doc. Ing. et Ing. David Hartman, Ph.D. et Ph.D.
Algebraická teorie grafů, kombinatorika, komplexní sítě, optimalizace, intervalová aritmetika
Mgr. Jindřich Helcl, Ph.D.
Strojový překlad, hluboké učení, zpracování přirozeného jazyka
RNDr. Jaroslava Hlaváčová, Ph.D.
Morfologie, jazykové korpusy, morfologická analýza a tagování, korpusy jazykových dat
Mgr. Václava Kettnerová, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 409
Závislostní syntax, valence, slovníky, lexikální sémantika, víceslovné výrazy
Mgr. David Klusáček, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 422
Zpracování signálu, zpracování řeči, hluboké učení, strojové učení
PhDr. Jiří Kocián, Ph.D.
jazyková data, zpracování řeči, sémantika, analýza diskurzu, multimodalita
Mgr. Veronika Kolářová, Ph.D.
Závislostní syntax, syntakticky anotované korpusy, valence, slovníky, lexikální sémantika
Mgr. Ondřej Košarko
Vědecký pracovník | ÚFAL
Místnost S 424
Mgr. et Mgr. Marie Mikulová, Ph.D.
Počítačová lingvistika, syntakticky anotované korpusy, morfologie, syntax, tektogramatická reprezentace
Mgr. Tomáš Musil
Zpracování přirozeného jazyka, hluboké neuronové sítě, strojové učení, strojový překlad, reprezentace významu
Mgr. Anna Nedoluzhko, Ph.D.
Korpusy jazykových dat, lexikální sémantika, koreference, sémantika, analýza diskurzu
Mgr. Michal Novák, Ph.D.
Počítačová lingvistika, zpracování přirozeného jazyka, strojové učení, zpracování textu, strojový překlad, koreference, multilingualita
RNDr. Pavel Paták, Ph.D.
Kombinatorická topologie a geometrie
prof. Patrice Pognan
Automatické zpracování jazyků, historická fonologie češtiny, morfologie, syntax, západoslovanské jazyky, berberština
Mgr. Lucie Poláková, Ph.D.
Analýza diskurzu, koreference, zpracování textu, korpusy jazykových dat, slovníky
PhDr. Kateřina Rysová, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 423
Počítačová lingvistika, korpusy jazykových dat, analýza diskurzu, informační struktura, závislostní syntax
PhDr. Magdaléna Rysová, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 423
Počítačová lingvistika, korpusy jazykových dat, analýza diskurzu, slovníky, koreference
RNDr. Jana Straková, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 420
Zpracování přirozeného jazyka, hluboké učení, zpracování textu, morfologická analýza a tagování, syntaktická analýza a parsery, vyhledávání informací
Mgr. Pavlína Synková, Ph.D.
Analýza diskurzu, morfologie, syntax, slovníky, korpusy jazykových dat
Mgr. Jan Štěpánek, Ph.D.
Mgr. Barbora Štěpánková, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 407
Morfologie, syntax, lexikální sémantika, informační struktura
PhDr. Zdeňka Urešová, Ph.D.
Syntakticky anotované korpusy, slovníky, lexikální sémantika, valence, tektogramatická reprezentace
Mgr. Dušan Variš, Ph.D.
Zpracování přirozeného jazyka, hluboké učení, strojový překlad
Mgr. Jindřich Vodrážka
Automatické plánování, modelování znalostí, robotika
Ostatní pracovníci
Mgr. Silvie Cinková, Ph.D.
Zpracování textu, jazyková data, vyhledávání v jazykových databázích
Ing. Veronika Fišerová
RNDr. Libor Forst
Mgr. Milan Fučík
Andrew Goodall, D.Phil.
Ostatní pracovník | IÚUK
Externí pracovník | Katedra jazykové přípravy
Telefon 95155 2662
Místnost S 125
Algebraické teorie grafů, kombinatorika, topologické teorie grafů
Mgr. Radmila Hacklová
Ing. Martin Himmel
Technická podpora
Mgr. Vojtěch Horký, Ph.D.
Výkon softwaru, automatizované měření výkonu, dokumentace výkonu software
Ida Kantor, M.Sc., Ph.D.
Kombinatorika, teorie grafů, konečné struktury
Bc. Matyáš Kopp
Ostatní pracovník | ÚFAL
Místnost S 424
Mgr. Jindřich Libovický, Ph.D.
Strojový překlad, hluboké učení, multimodalita
Dan Lukeš
Správce centrálních služeb sítě
RNDr. Jiří Mírovský, Ph.D.
Analýza diskurzu, vyhledávání v jazykových databázích, slovníky, syntakticky anotované korpusy
Petra Novotná
RNDr. Helena Nyklová
Ostatní pracovník | KAM
Externí pracovník | Katedra fyziky atmosféry
Telefon 95155 4290
Místnost S 226
Teoretická informatika
Mgr. Martin Popel, Ph.D.
Ostatní pracovník | ÚFAL
Místnost S 409
Strojový překlad, hluboké učení, univerzální závislosti, vyhledávání v jazykových databázích, zpracování přirozeného jazyka
Petra Příhodová
Mgr. Rudolf Rosa, Ph.D.
Multilingualita, zpracování textu, morfologická analýza a tagování, syntaktická analýza a parsery, hluboké neuronové sítě
Mgr. Pavel Semerád
Správce serveru labu, správce AV techniky
Mgr. Bc. Pavel Straňák, Ph.D.
Mgr. Magda Ševčíková, Ph.D.
Počítačová lingvistika, derivační morfologie, slovotvorba, závislostní syntax, syntakticky anotované korpusy
Mgr. Josef Šimůnek
Správce laboratoře, správce Windows stanic
Mgr. Pavel Taufer
Ostatní pracovník | ÚFAL
Místnost S 412
Hluboké učení, neuronové sítě, strojové učení
RNDr. Daniel Zeman, Ph.D.
Počítačová lingvistika, jazykové technologie, morfologická analýza a značkování, syntaktická analýza a parsing, morfologie, závislostní syntax, valence, univerzální závislosti, vícejazyčnost
PhDr. Šárka Zikánová, Ph.D.
Syntakticky anotované korpusy, syntax, analýza diskurzu, informační struktura
Externí pracovníci
RNDr. Ing. Vojtěch Aschenbrenner
Operační systémy, počítačové sítě, překladače, výkonnost softwaru
RNDr. Štěpán Balcar
Doporučovací systémy, evoluční algoritmy
RNDr. Jakub Daniel
Verifikace software, analýza programů
prof. Ing. Václav Hlaváč, CSc.
Externí pracovník | KSVI
Telefon 224 357 465
RNDr. Naděžda Krylová, CSc.
Teoretická informatika
doc. RNDr. Antonín Kučera, CSc.
Vyčíslitelnost, algoritmická náhodnost
prof. RNDr. Luděk Kučera, DrSc.
Teoretická informatika
doc. RNDr. Josef Mlček, CSc.
Mgr. Lukáš Ondráček
Externí pracovník | KTIML
Telefon 95155 4251
prof. RNDr. Petr Pančoška, CSc.
Teoretická informatika
Martin Plátek, CSc.
Teorie automatů, matematická lingvistika, restartovací automaty
Doktorandi
Mgr. Michal Auersperger
Doktorand | ÚFAL
Místnost S 424
Hluboké učení, zpracování přirozeného jazyka
Mgr. Martin Blicha, Ph.D.
Verifikace software, model checking, SAT, SMT
Adam Dingle, M.Sc.
Mgr. Ing. Kira Droganova
Počítačová lingvistika, syntakticky anotované korpusy, jazyková data, syntaktická analýza a parsery, univerzální závislosti
Mgr. Ing. Robert Husák
Analýza a verifikace programů, kompilace dynamických jazyků
Mgr. Miloš Chaloupka
Propojená data, překlad dotazů SPARQL na SQL, virtuální RDF databáze
Mgr. Nikola Jedličková
Teoretická informatika
Mgr. Filip Kliber
Programování, analýza programů, překladače
Mgr. Ivana Kvapilíková, Ph.D.
Strojový překlad, hluboké učení
Mgr. Dominik Macháček, Ph.D.
Strojový překlad, hluboké učení
Mgr. Ondřej Mička
Mgr. Martin Mirbauer
Počítačová grafika, hluboké učení
Mgr. Michaela Seifrtová
Teoretická informatika
Mgr. David Sychrovský
Doktorand | KAM
Místnost S 320