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. 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. 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. Luděk Kučera, DrSc.
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. Ing. František Plášil, DrSc.
Softwarové architektury, samo-adaptující se systémy, formální metody
prof. RNDr. Jaroslav Pokorný, CSc.
Databázové systémy, dotazovací jazyky, organizace dat, NoSQL databáze, Big Data, grafové databáze
prof. RNDr. Aleš Pultr, DrSc.
Teoretická informatika
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. RNDr. Peter Vojtáš, DrSc.
Modely zákaznických preferencí, dynamická semantizace webu, preferenční Datalog, Galois-Tukey konexe/redukce
Hostující profesoři
prof. Václav Chvátal, Ph.D.
Hostující profesor | KAM
Místnost S 220
Docenti
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. Ondřej Čepek, Ph.D.
Booleovské funkce, reprezentace a kompilace znalostí, kódování do KNF
doc. RNDr. Tomáš Dvořák, CSc.
Diskrétní matematika, algoritmy a datové struktury
doc. Mgr. Zdeněk Dvořák, Ph.D.
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. Mgr. Milan Hladík, Ph.D.
Optimalizace, lineární algebra, intervalové počítání
doc. RNDr. Petr Hnětynka, Ph.D.
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy
doc. RNDr. Irena Holubová, Ph.D.
NoSQL databáze, mutli-model databáze, management změn
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. Jan Kofroň, Ph.D.
Verifikace software, model checking
doc. Mgr. Petr Kolman, Ph.D.
Teorie algoritmů, aproximační algoritmy, teorie grafů, optimalizace
doc. RNDr. Antonín Kučera, CSc.
Vyčíslitelnost, algoritmická náhodnost
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. Robert Šámal, Ph.D.
Barevnost grafů, homomorfismy, nenulové toky, aplikace pravděpodobnosti v kombinatorice
doc. RNDr. Martin Tancer, Ph.D.
Teoretická informatika
doc. RNDr. Pavel Töpfer, CSc.
doc. RNDr. Pavel Valtr, Dr.
Teoretická informatika, kombinatorická geometrie
doc. Alexander Wilkie, Dr.
doc. 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. Martin Balko, Ph.D.
Teorie grafů, kombinatorika, Ramseyova teorie, kombinatorická geometrie
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í
Andreas Emil Feldmann, Dr.
Parametrizované aproximační algoritmy, návrhy sítí, metrická vnoření
RNDr. Jiří Fink, Ph.D.
Kombinatorická optimalizace, umělá inteligence, plánování a rozvrhování
RNDr. David Hoksza, Ph.D.
Bioinformatika, chemická informatika, vizualizace
Mgr. Pavel Hubáček, Ph.D.
Kryptografie, výpočetní složitost, teoretická informatika
Mgr. Jan Hubička, Ph.D.
Teoretická informatika
RNDr. Jakub Klímek, Ph.D.
Sémantický web, propojená data, webové služby, re-decentralizace webu
Mgr. Tereza Klimošová, Ph.D.
Teorie grafů, kombinatorika
Mgr. Martin Koutecký, Ph.D.
Teoretická informatika
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í
Mgr. Jan Kynčl, Ph.D.
Diskrétní geometrie, kombinatorika, kreslení grafů
RNDr. David Mareček, Ph.D.
Syntaktická analýza a parsery, strojový překlad, multilingualita, hluboké neuronové sítě, reprezentace významu
Irena Penev, Dr.
Teorie grafů, grafové algoritmy
Mgr. Ladislav Peška, Ph.D.
Doporučovací systémy, uživatelské preference, information retrieval, aplikované strojové učení
Mgr. Martin Pilát, Ph.D.
Evoluční algoritmy, strojové učení, vícekriteriální optimalizace, hluboké učení, zpětnovazební učení
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. Martin Svoboda, Ph.D.
NoSQL databáze, dotazovací jazyky, maximalizace šíření vlivu, regulární stromové gramatiky, propojená data
Mgr. Petr Škoda, Ph.D.
Propojená data, chemická informatika
Mgr. Jiří Švancara, Ph.D.
Multiagentní plánování cest, umělá inteligence, SAT
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++
Mgr. Jakub Gemrot, Ph.D.
Vývoj her, herní umělá inteligence, výpočetní kreativita, herní design
RNDr. Tomáš Holan, Ph.D.
Programování, podpora výuky pomocí programů, umělá inteligence společenských her
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
Mgr. Martin Kahoun
Realtime počítačová grafika, procedurální modelování
RNDr. Michal Kopecký, Ph.D.
Relační databáze, doporučování, sémantizace
RNDr. Alena Koubková, CSc.
Datové struktury, analýza algoritmů
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. 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
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. Petra Barančíková
Strojové učení, zpracování přirozeného jazyka
Mgr. Silvie Cinková, Ph.D.
Zpracování textu, jazyková data, vyhledávání v jazykových databázích
Mgr. Ing. Kira Droganova
Vědecký pracovník | ÚFAL
Místnost S 409
Počítačová lingvistika, syntakticky anotované korpusy, jazyková data, syntaktická analýza a parsery, univerzální závislosti
Mgr. Eva Fučíková
Syntakticky anotované korpusy, slovníky, valence
Andrew Goodall, D.Phil.
Algebraické teorie grafů, kombinatorika, topologické teorie grafů
Mgr. Jana Hamrlová, Ph.D.
RNDr. Jiří Hana, Ph.D.
Zpracování přirozeného jazyka, generování přirozeného jazyka, morfologie, univerzální závislosti
Ing. David Hartman, Ph.D.
Algebraická teorie grafů, kombinatorika, komplexní sítě, optimalizace, intervalová aritmetika
Mgr. Jindřich Helcl
Strojový překlad, hluboké učení, zpracování přirozeného jazyka
doc. Mgr. Barbora Vidová Hladká, Ph.D.
Počítačová lingvistika, syntakticky anotované korpusy, 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
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
Mgr. Vojtěch Horký, Ph.D.
Výkon softwaru, automatizované měření výkonu, dokumentace výkonu software
RNDr. David Chodounský, Ph.D.
Vědecký pracovník | KAM
Teoretická informatika, teorie množin, forsing
Mgr. Marika Ivanová, Ph.D.
Ida Kantor, M.Sc.
Kombinatorika, teorie grafů, konečné struktury
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
Ing. Jana Klímová, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 425
Korpusy jazykových dat, slovotvorba, valence, slovníky
Mgr. David Klusáček, Ph.D.
Zpracování signálu, zpracování řeči, hluboké učení, strojové učení
PhDr. Jiří Kocián
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. Jindřich Libovický, Ph.D.
Strojový překlad, hluboké učení, multimodalita
Mgr. et Mgr. Marie Mikulová, Ph.D.
Počítačová lingvistika, syntakticky anotované korpusy, morfologie, syntax, tektogramatická reprezentace
RNDr. Jiří Mírovský, Ph.D.
Analýza diskurzu, vyhledávání v jazykových databázích, slovníky, syntakticky anotované korpusy
RNDr. Jozef Mišutka, Ph.D.
Mgr. Jakub Mlynář, Ph.D.
jazyková data, zpracování řeči, sémantika, analýza diskurzu, multimodalita
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
Mgr. Martin Popel, Ph.D.
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
Mgr. Rudolf Rosa, Ph.D.
Multilingualita, zpracování textu, morfologická analýza a tagování, syntaktická analýza a parsery, hluboké neuronové sítě
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
Ing. Shadi Saleh, Ph.D.
počítačová lingvistika, vyhledávání informací, strojový překlad, hluboké učení
Mgr. Michaela Seifrtová
Teoretická informatika
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. Pavel Straňák, Ph.D.
Mgr. Pavlína Synková, Ph.D.
Analýza diskurzu, morfologie, syntax, slovníky, korpusy jazykových dat
Mgr. Magda Ševčíková, Ph.D.
Počítačová lingvistika, derivační morfologie, slovotvorba, závislostní syntax, syntakticky anotované korpusy
Mgr. Barbora Štěpánková, Ph.D.
Morfologie, syntax, lexikální sémantika, informační struktura
Mgr. Pavel Taufer
Hluboké učení, neuronové sítě, strojové učení
PhDr. Zdeňka Urešová, Ph.D.
Syntakticky anotované korpusy, slovníky, lexikální sémantika, valence, tektogramatická reprezentace
Mgr. Dušan Variš
Zpracování přirozeného jazyka, hluboké učení, strojový překlad
Mgr. et Mgr. Anna Vernerová, Ph.D.
Vědecký pracovník | ÚFAL
Místnost S 424
Korpusy jazykových dat, syntakticky anotované korpusy, slovníky, valence, syntax
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
Ostatní pracovníci
RNDr. Libor Forst
Mgr. Lenka Forstová
Správce Recodexu a Selectu
Mgr. Milan Fučík
Ing. Ivan Heráň
Ing. Martin Himmel
Technická podpora
Mgr. Lukáš Kačena
Ostatní pracovník | ÚFAL
Místnost S 408
Dan Lukeš
Správce centrálních služeb sítě
RNDr. Helena Nyklová
Teoretická informatika
Mgr. Pavel Semerád
Správce serveru labu, správce AV techniky
Ing. František Šebek
Technická podpora
Mgr. Josef Šimůnek
Správce laboratoře, správce Windows stanic
Externí pracovníci
Ing. Vojtěch Aschenbrenner
Operační systémy, počítačové sítě, překladače, výkonnost softwaru
RNDr. Jakub Daniel
Verifikace software, analýza programů
RNDr. Leo Galamboš, Ph.D.
Externí pracovník | KDSS
Telefon 910 800 252
Internet of Things, platformy pro big data, kyberbezpečnost
prof. Ing. Václav Hlaváč, CSc.
Externí pracovník | KSVI
Telefon 224 357 465
PhDr. Petra Hoffmannová
Vyhledávání informací
RNDr. Rudolf Kryl
RNDr. Naděžda Krylová, CSc.
Teoretická informatika
Mgr. Jan Michelfeit
Externí pracovník | KSI
Telefon 95155 4260
Ing. Tomáš Mikolov, Ph.D.
Externí pracovník | ÚFAL
Telefon 95155 4278
doc. RNDr. Josef Mlček, CSc.
Mgr. Jan Musílek
Teoretická informatika
prof. RNDr. Petr Pančoška, CSc.
Teoretická informatika
RNDr. Martin Šik
RNDr. Michal Žemlička, Ph.D.
Doktorandi
Mgr. Jakub Arnold
Doktorand | ÚFAL
Hluboké učení, hluboké neuronové sítě, strojové učení, zpracování přirozeného jazyka
Mgr. Michal Auersperger
Doktorand | ÚFAL
Místnost S 424
Hluboké učení, zpracování přirozeného jazyka
Mgr. Martin Blicha
Verifikace software, model checking, SAT, SMT
Mgr. Jan Bok
Teorie grafů, kombinatorika, algoritmy, teorie her, intervalová analýza
Mgr. Vlastimil Dort
Statická analýza programů, typové systémy
Mgr. Pavel Dvořák
Výpočetní a komunikační složitost
Mgr. Tomáš Faltín
Distribuované systémy, paralelní programování, velká data
RNDr. Jiří Helmich
Automatické objevování transformačních pipeline pro vizualizaci propojených dat
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. Jelínek Jan
Mgr. Filip Kliber
Programování, analýza programů, překladače
RNDr. Matěj Konečný
Teoretická informatika
Mgr. Karel Král
Výpočetní složitost, teoretická kryptografie
RNDr. Miroslav Kratochvíl
Funkcionální programování, kompilátory, bioinformatika
RNDr. Filip Krijt
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy
Mgr. Vincent Kríž
Počítačová lingvistika, propojená data, syntaktická analýza a parsery
Mgr. Ivana Kvapilíková
Strojový překlad, hluboké učení
Mgr. Lukáš Kyjánek
Počítačová lingvistika, derivační morfologie, slovotvorba, multilingualita
Mgr. Dominik Macháček
Strojový překlad, hluboké učení
Sonja Marković, M.A.
Korpusy jazykových dat, závislostní syntax, univerzální závislosti
Ladislav Maršík
Music information retrieval, analýza harmonie, webové aplikace
Mgr. Ondřej Mička
Mgr. Martin Mirbauer
Počítačová grafika, hluboké učení
Mgr. Michal Opler
Permutace, výpočetní složitost, teorie grafů
Tobias Rittig
Mgr. Michael Skotnica
Kombinatorická teorie grup, algebraická topologie, výpočetní složitost
Mgr. Veronika Slívová
Výpočetní složitost, teoretická kryptografie
RNDr. Dominik Škoda
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy
Mgr. Jonáš Vidra
Počítačová lingvistika, strojové učení, derivační morfologie, multilingualita
Mgr. Jiří Vinárek
Verifikace software, model checking
Mgr. Jindřich Vodrážka
Automatické plánování, modelování znalostí, robotika
Mgr. Peter Zeman
Algebraická a topologická teorie grafů, permutační toerie grup, problém grafového izomorfismu