Lidé

Profesoři

prof. RNDr. Roman Barták, Ph.D.

Roman Barták
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. Tomáš Bureš, Ph.D.

Tomáš Bureš
Profesor | KDSS
Telefon 95155 4236
Místnost S 212
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy

prof. RNDr. Jan Hajič, Dr.

Jan Hajič
Profesor | ÚFAL
Telefon 95155 4257
Místnost S 420
Korpusy jazykových dat, slovníky, sémantika, strojový překlad, zpracování přirozeného jazyka

prof. PhDr. Eva Hajičová, DrSc.

Eva Hajičová
Profesor | ÚFAL
Telefon 95155 4272
Místnost S 407
Korpusy jazykových dat, syntax, sémantika, informační struktura, analýza diskurzu

prof. Mgr. Michal Koucký, Ph.D.

Michal Koucký
Profesor | IÚUK
Telefon 95155 4328
Místnost S 326
Teoretická informatika, výpočetní složitost, algoritmy a datové struktury

prof. RNDr. Jan Kratochvíl, CSc.

Jan Kratochvíl
Profesor | KAM
Telefon 95155 4234
Místnost S 226
Teoretická informatika

prof. RNDr. Luděk Kučera, DrSc.

Luděk Kučera
Profesor | KAM
Telefon 95155 4233
Místnost S 225
Teoretická informatika

prof. RNDr. Martin Loebl, CSc.

Martin Loebl
Profesor | KAM
Telefon 95155 4329
Místnost S 223
Diskrétní matematika, algoritmy a složitost, optimalizace

prof. RNDr. Jaroslav Nešetřil, DrSc.

Jaroslav Nešetřil
Profesor | IÚUK
Telefon 95155 4229
Místnost S 220
Teoretická informatika

prof. PhDr. Jarmila Panevová, DrSc.

Jarmila Panevová
Profesor | ÚFAL
Telefon 95155 4305
Místnost S 412
Morfologie, syntax, valence, tektogramatická reprezentace, koreference

prof. Ing. František Plášil, DrSc.

František Plášil
Profesor | KDSS
Telefon 95155 4266
Místnost S 212
Softwarové architektury, samo-adaptující se systémy, formální metody

prof. RNDr. Jaroslav Pokorný, CSc.

Jaroslav Pokorný
Profesor | KSI
Telefon 95155 4265
Místnost S 306
Databázové systémy, dotazovací jazyky, organizace dat, NoSQL databáze, Big Data, grafové databáze

prof. RNDr. Aleš Pultr, DrSc.

Aleš Pultr
Profesor | KAM
Telefon 95155 4231
Místnost S 224
Teoretická informatika

prof. RNDr. Jiří Sgall, DrSc.

Jiří Sgall
Profesor | IÚUK
Telefon 95155 4293
Místnost S 307
Teorie algoritmů, online algoritmy, aproximační algoritmy, rozvrhování, výpočetní složitost

prof. RNDr. Tomáš Skopal, Ph.D.

Tomáš Skopal
Profesor | KSI
Telefon 95155 4227
Místnost S 209
Podobnostní vyhledávání, multimedia retrieval, databázové systémy, nestrukturovaná data

prof. Ing. Petr Tůma, Dr.

Petr Tůma
Profesor | KDSS
Telefon 95155 4267
Místnost S 205
Výkon software, metody měření, performance engineering

prof. RNDr. Milan Vlach, DrSc.

Milan Vlach
Profesor | KTIML
Telefon 95155 4340
Místnost S 303

prof. RNDr. Peter Vojtáš, DrSc.

Peter Vojtáš
Profesor | KSI
Telefon 95155 4239
Místnost S 306
Modely zákaznických preferencí, dynamická semantizace webu, preferenční Datalog, Galois-Tukey konexe/redukce

prof. RNDr. Karel Zimmermann, DrSc.

Karel Zimmermann
Profesor | KAM
Telefon 95155 4262
Místnost S 325
Operační výzkum, optimalizace

Hostující profesoři

prof. Jo Ellis-Monaghan

Jo Ellis-Monaghan
Hostující profesor | KAM
Telefon 95155 4374

Docenti

doc. RNDr. Ondřej Bojar, Ph.D.

Ondřej Bojar
Docent | ÚFAL
Telefon 95155 4276
Místnost S 423
Strojový překlad, reprezentace významu, hluboké učení, strojové učení, multilingualita

doc. Mgr. Cyril Brom, Ph.D.

Cyril Brom
Docent | KSVI
Telefon 95155 4216
Místnost S 312
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.

Lubomír Bulej
Docent | KDSS
Telefon 95155 4189
Místnost S 205
Dynamická analýza programů, vyhodnocování a testování výkonnosti software

doc. RNDr. Ondřej Čepek, Ph.D.

Ondřej Čepek
Docent | KTIML
Telefon 95155 4246
Místnost S 302
Booleovské funkce, reprezentace a kompilace znalostí, kódování do KNF

doc. RNDr. Tomáš Dvořák, CSc.

Tomáš Dvořák
Docent | KSVI
Telefon 95155 4310
Místnost S 405
Diskrétní matematika, algoritmy a datové struktury

doc. RNDr. Jiří Fiala, Ph.D.

Jiří Fiala
Docent | KAM
Telefon 95155 4322
Místnost S 224
Grafové algoritmy, výpočetní složitost, třídy grafů

doc. Mgr. Petr Gregor, Ph.D.

Petr Gregor
Docent | KTIML
Telefon 95155 4140
Místnost S 305
Teorie grafů, kombinatorické algoritmy, hyperkrychle

doc. Mgr. Milan Hladík, Ph.D.

Milan Hladík
Docent | KAM
Telefon 95155 4308
Místnost S 325
Optimalizace, lineární algebra, intervalové počítání

doc. RNDr. Petr Hnětynka, Ph.D.

Petr Hnětynka
Docent | KDSS
Telefon 95155 9043
Místnost S 212
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy

doc. RNDr. Irena Holubová, Ph.D.

Irena Holubová
Docent | KSI
Telefon 95155 4316
Místnost S 209
NoSQL databáze, mutli-model databáze, management změn

doc. RNDr. Vít Jelínek, Ph.D.

Vít Jelínek
Docent | IÚUK
Telefon 95155 4326
Místnost S 323
Kombinatorika, diskrétní geometrie, teorie grafů

doc. RNDr. Martin Klazar, Dr.

Martin Klazar
Docent | KAM
Telefon 95155 4238
Místnost S 224
Enumerativní (a extremální) kombinatorika, teorie čísel

doc. RNDr. Jan Kofroň, Ph.D.

Jan Kofroň
Docent | KDSS
Telefon 95155 4285
Místnost S 309
Verifikace software, model checking

doc. Mgr. Petr Kolman, Ph.D.

Petr Kolman
Docent | KAM
Telefon 95155 4155
Místnost S 225
Teorie algoritmů, aproximační algoritmy, teorie grafů, optimalizace

doc. RNDr. Antonín Kučera, CSc.

Antonín Kučera
Docent | KTIML
Telefon 95155 4244
Místnost S 303
Vyčíslitelnost, algoritmická náhodnost

doc. RNDr. Markéta Lopatková, Ph.D.

Markéta Lopatková
Docent | ÚFAL
Telefon 95155 4258
Místnost S 407
Počítačová lingvistika, syntakticky anotované korpusy, závislostní syntax, valence, lexikální sémantika

doc. RNDr. Iveta Mrázová, CSc.

Iveta Mrázová
Docent | KTIML
Telefon 95155 4123
Místnost S 304
Neuronové sítě, dobývání znalostí

doc. Mgr. Martin Nečaský, Ph.D.

Martin Nečaský
Sémantický web, propojená data, znalostní grafy, konceptuální modelování

doc. RNDr. Pavel Parízek, Ph.D.

Pavel Parízek
Docent | KDSS
Telefon 95155 4148
Místnost S 202
Verifikace software, analýza programů

doc. RNDr. Pavel Pecina, Ph.D.

Pavel Pecina
Docent | ÚFAL
Telefon 95155 4332
Místnost S 422
Počítačová lingvistika, zpracování přirozeného jazyka, strojový překlad, vyhledávání informací, multimodalita

doc. Mgr. Robert Šámal, Ph.D.

Robert Šámal
Docent | IÚUK
Telefon 95155 4326
Místnost S 323
Barevnost grafů, homomorfismy, nenulové toky, aplikace pravděpodobnosti v kombinatorice

doc. RNDr. Martin Tancer, Ph.D.

Martin Tancer
Docent | KAM
Telefon 95155 4206
Místnost S 325
Teoretická informatika

doc. Hans Raj Tiwary, M.Sc.

Hans Raj Tiwary
Docent | KAM
Telefon 95155 4307
Místnost S 225
Teoretická informatika

doc. RNDr. Pavel Valtr, Dr.

Pavel Valtr
Docent | KAM
Telefon 95155 4228
Místnost S 226
Teoretická informatika, kombinatorická geometrie

doc. Ing. Zdeněk Žabokrtský, Ph.D.

Zdeněk Žabokrtský
Docent | ÚFAL
Telefon 95155 4288
Místnost S 409
Syntakticky anotované korpusy, derivační morfologie, závislostní syntax, jazyková data, zpracování přirozeného jazyka

Odborní asistenti

RNDr. Martin Balko, Ph.D.

Martin Balko
Odborný asistent | KAM
Telefon 95155 4220
Místnost S 125
Teorie grafů, kombinatorika, Ramseyova teorie, kombinatorická geometrie

Mgr. et Mgr. Ondřej Dušek, Ph.D.

Ondřej Dušek
Odborný asistent | ÚFAL
Telefon 95155 4364
Místnost S 424
Dialogové systémy, generování přirozeného jazyka, chatboty, hluboké učení

Andreas Emil Feldmann, Dr.

Andreas Emil Feldmann
Odborný asistent | KAM
Telefon 95155 4372
Místnost S 325
Parametrizované aproximační algoritmy, návrhy sítí, metrická vnoření

RNDr. Jiří Fink, Ph.D.

Jiří Fink
Odborný asistent | KTIML
Telefon 95155 4425
Místnost S 305
Kombinatorická optimalizace, umělá inteligence, plánování a rozvrhování

RNDr. David Hoksza, Ph.D.

David Hoksza
Odborný asistent | KSI
Místnost S 209
Bioinformatika, chemická informatika, vizualizace

Mgr. Pavel Hubáček, Ph.D.

Pavel Hubáček
Odborný asistent | IÚUK
Telefon 95155 4458
Místnost S 326
Kryptografie, výpočetní složitost, teoretická informatika

Mgr. Jan Hubička, Ph.D.

Jan Hubička
Odborný asistent | KAM
Telefon 95155 4373
Místnost S 322
Teoretická informatika

RNDr. Jakub Klímek, Ph.D.

Jakub Klímek
Odborný asistent | KSI
Místnost S 209
Sémantický web, propojená data, webové služby, re-decentralizace webu

Mgr. Tereza Klimošová, Ph.D.

Tereza Klimošová
Odborný asistent | KAM
Telefon 95155 4220
Místnost S 125
Teorie grafů, kombinatorika

Mgr. Martin Koutecký, Ph.D.

Martin Koutecký
Odborný asistent | IÚUK
Telefon 95155 4460
Místnost S 326
Teoretická informatika

RNDr. Martin Kruliš, Ph.D.

Martin Kruliš
Odborný asistent | KSI
Telefon 95155 4193
Místnost S 203
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.

Jan Kynčl
Odborný asistent | KAM
Telefon 95155 4149
Místnost S 125
Diskrétní geometrie, kombinatorika, kreslení grafů

RNDr. David Mareček, Ph.D.

David Mareček
Syntaktická analýza a parsery, strojový překlad, multilingualita, hluboké neuronové sítě, reprezentace významu

Irena Penev, Dr.

Irena Penev
Teorie grafů, grafové algoritmy

Mgr. Ladislav Peška, Ph.D.

Ladislav Peška
Odborný asistent | KSI
Místnost S 208
Doporučovací systémy, uživatelské preference, information retrieval, aplikované strojové učení

Mgr. Martin Pilát, Ph.D.

Martin Pilát
Odborný asistent | 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. Milan Straka, Ph.D.

Milan Straka
Odborný asistent | ÚFAL
Telefon 95155 4361
Místnost S 420
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.

Martin Svoboda
NoSQL databáze, dotazovací jazyky, maximalizace šíření vlivu, regulární stromové gramatiky, propojená data

Mgr. Petr Škoda, Ph.D.

Petr Škoda
Odborný asistent | KSI
Místnost S 209
Propojená data, chemická informatika

Mgr. Pavel Veselý, Ph.D.

Pavel Veselý
Odborný asistent | IÚUK

Lektoři

RNDr. David Bednárek, Ph.D.

David Bednárek
Lektor | KSI
Telefon 95155 4191
Místnost S 203
Překladače, programování zaměřené na výkon, programování a metaprogramování v C++

Mgr. Jakub Gemrot, Ph.D.

Jakub Gemrot
Lektor | KSVI
Telefon 95155 4445
Místnost S 406
Vývoj her, herní umělá inteligence, výpočetní kreativita, herní design

RNDr. Tomáš Holan, Ph.D.

Tomáš Holan
Lektor | KSVI
Telefon 95155 4241
Místnost S 404
Programování, podpora výuky pomocí programů, umělá inteligence společenských her

RNDr. Jan Hric

Jan Hric
Lektor | KTIML
Telefon 95155 4283
Místnost S 302
Logické programování, funkcionální programování, umělá inteligence

Mgr. Pavel Ježek, Ph.D.

Pavel Ježek
Lektor | KDSS
Telefon 95155 4235
Místnost S 204
Výuka programování, C#, .NET

Mgr. Martin Kahoun

Martin Kahoun
Lektor | KSVI
Telefon 95155 4441
Místnost S 126
Realtime počítačová grafika, procedurální modelování

RNDr. Michal Kopecký, Ph.D.

Michal Kopecký
Lektor | KSI
Telefon 95155 4269
Místnost S 202
Relační databáze, doporučování, sémantizace

RNDr. Alena Koubková, CSc.

Alena Koubková
Lektor | KDSS
Telefon 95155 4268
Místnost S 202
Datové struktury, analýza algoritmů

RNDr. Petr Kučera, Ph.D.

Petr Kučera
Lektor | KTIML
Telefon 95155 4138
Místnost S 304
SAT řešiče, kompilace znalostí, reprezentace omezujících podmínek pro SAT

Mgr. Vladan Majerech, Dr.

Vladan Majerech
Lektor | KTIML
Telefon 95155 4427
Místnost S 302
Datové struktury

Mgr. Martin Mareš, Ph.D.

Martin Mareš
Lektor | KAM
Telefon 95155 4221
Místnost S 322
Algoritmy a datové struktury

RNDr. František Mráz, CSc.

František Mráz
Lektor | KSVI
Telefon 95155 4219
Místnost S 405
Teorie automatů, formální jazyky, strojové učení, bioinformatika

RNDr. David Obdržálek, Ph.D.

David Obdržálek
Lektor | KTIML
Telefon 95155 4270
Místnost S 124
Mobilní robotika, autonomní vozidla, Internet of Things

RNDr. Ondřej Pangrác, Ph.D.

Ondřej Pangrác
Lektor | IÚUK
Telefon 95155 4149
Místnost S 125
Teorie grafů, grafové algoritmy, teorie matroidů

RNDr. Josef Pelikán

Josef Pelikán
Lektor | KSVI
Telefon 95155 4240
Místnost S 406
Počítačová grafika, rozšířená realita, virtuální realita, programování GPU

RNDr. Martin Pergel, Ph.D.

Martin Pergel
Lektor | KSVI
Telefon 95155 4194
Místnost S 404
Teorie složitosti, grafy s geometrickými reprezentacemi, algoritmy a programování

Mgr. Nino Peterek, Ph.D.

Nino Peterek
Lektor | ÚFAL
Telefon 95155 4254
Místnost S 423
Počítačová lingvistika, zpracování řeči, korpusy jazykových dat, multilingualita, multimodalita

Mgr. Marta Vomlelová, Ph.D.

Marta Vomlelová
Lektor | KTIML
Telefon 95155 4248
Místnost S 303
Pravděpodobnostní grafické modely, strojové učení

RNDr. Jakub Yaghob, Ph.D.

Jakub Yaghob
Lektor | KSI
Telefon 95155 4274
Místnost S 203
Paralelní/distribuované/výkonové výpočty, překladače, zpracování velkých dat, programování v C++

RNDr. Filip Zavoral, Ph.D.

Filip Zavoral
Lektor | KSI
Telefon 95155 4192
Místnost S 203
Vývoj software, C++, distribuované systémy, zpracování dat

Vědečtí pracovníci

Rima Al Ali

Rima Al Ali
Vědecký pracovník | KDSS
Telefon 95155 4235
Místnost S 204
Nejistota v adaptivních systémech, samo-adaptující se systémy, kyber-fyzikální systémy

Mgr. Petra Barančíková

Petra Barančíková
Vědecký pracovník | ÚFAL
Místnost S 423
Strojové učení, zpracování přirozeného jazyka

Luca Baroni, M.Sc.

Luca Baroni
Vědecký pracovník | KSVI

Ing. David Bernhauer

David Bernhauer
Vědecký pracovník | KSI

Mgr. et Mgr. Kateřina Bryanová

Kateřina Bryanová
Vědecký pracovník | ÚFAL
Telefon 9  515 543 96
Místnost S 412

Rémy Cagnol, M.Sc.

Rémy Cagnol
Vědecký pracovník | KSVI

Erion Çano, Ph.D.

Erion Çano
Vědecký pracovník | ÚFAL
Telefon 95155 4279
Místnost S 425
Zpracování přirozeného jazyka, vyhledávání informací, generování přirozeného jazyka

Mgr. Silvie Cinková, Ph.D.

Silvie Cinková
Vědecký pracovník | ÚFAL
Telefon 95155 4224
Místnost S 423
Zpracování textu, jazyková data, vyhledávání v jazykových databázích

Mgr. Ing. Kira Droganova

Kira Droganova
Počítačová lingvistika, syntakticky anotované korpusy, jazyková data, syntaktická analýza a parsery, univerzální závislosti

Carl Feghali, Ph.D.

Carl Feghali
Vědecký pracovník | IÚUK

Mgr. Eva Fučíková

Eva Fučíková
Vědecký pracovník | ÚFAL
Telefon 95155 4131
Místnost S 423
Syntakticky anotované korpusy, slovníky, valence

Mgr. Jan Hajič, Ph.D.

Jan Hajič
Hluboké učení, multimodalita, zpracování signálu

Mgr. Jana Hamrlová, Ph.D.

Jana Hamrlová
Vědecký pracovník | ÚFAL
Telefon 95155 4252
Místnost S 409

RNDr. Jiří Hana, Ph.D.

Jiří Hana
Vědecký pracovník | ÚFAL
Telefon 95155 4364
Místnost S 424
Zpracování přirozeného jazyka, generování přirozeného jazyka, morfologie, univerzální závislosti

Ing. David Hartman, Ph.D.

David Hartman
Vědecký pracovník | IÚUK
Telefon 95155 4220
Místnost S 324
Algebraická teorie grafů, kombinatorika, komplexní sítě, optimalizace, intervalová aritmetika

Mgr. Jindřich Helcl

Jindřich Helcl
Strojový překlad, hluboké učení, zpracování přirozeného jazyka

Mgr. Barbora Vidová Hladká, Ph.D.

Barbora Vidová Hladká
Vědecký pracovník | ÚFAL
Telefon 95155 4223
Místnost S 409
Počítačová lingvistika, syntakticky anotované korpusy, zpracování přirozeného jazyka

RNDr. Jaroslava Hlaváčová, Ph.D.

Jaroslava Hlaváčová
Vědecký pracovník | ÚFAL
Telefon 95155 4360
Místnost S 422
Morfologie, jazykové korpusy, morfologická analýza a tagování, korpusy jazykových dat

Ing. Robert Hlavatý, Ph.D.

Robert Hlavatý
Vědecký pracovník | KAM

PhDr. Karin Hofmeisterová

Karin Hofmeisterová
Vědecký pracovník | ÚFAL

RNDr. Martin Holub, Ph.D.

Martin Holub
Vědecký pracovník | ÚFAL
Telefon 95155 4365
Místnost S 425
Zpracování přirozeného jazyka, lexikální sémantika, víceslovné výrazy, slovníky, korpusy jazykových dat, multilingualita

RNDr. Jaroslav Horáček, Ph.D.

Jaroslav Horáček
Vědecký pracovník | KAM
Telefon 95155 4327
Teoretická informatika

Mgr. Vojtěch Horký, Ph.D.

Vojtěch Horký
Vědecký pracovník | KDSS
Telefon 95155 4457
Místnost S 205
Výkon softwaru, automatizované měření výkonu, dokumentace výkonu software

RNDr. David Chodounský, Ph.D.

David Chodounský
Vědecký pracovník | KAM
Teoretická informatika, teorie množin, forsing

Ida Kantor, M.Sc.

Ida Kantor
Vědecký pracovník | IÚUK
Místnost S 326
Kombinatorika, teorie grafů, konečné struktury

Mgr. Václava Kettnerová, Ph.D.

Václava Kettnerová
Závislostní syntax, valence, slovníky, lexikální sémantika, víceslovné výrazy

Ing. Jana Klímová, Ph.D.

Jana Klímová
Korpusy jazykových dat, slovotvorba, valence, slovníky

Mgr. David Klusáček, Ph.D.

David Klusáček
Zpracování signálu, zpracování řeči, hluboké učení, strojové učení

PhDr. Jiří Kocián

Jiří Kocián
Vědecký pracovník | ÚFAL
Telefon 95155 4391
Místnost S 156
jazyková data, zpracování řeči, sémantika, analýza diskurzu, multimodalita

Mgr. Veronika Kolářová, Ph.D.

Veronika Kolářová
Vědecký pracovník | ÚFAL
Telefon 95155 4279
Místnost S 420
Závislostní syntax, syntakticky anotované korpusy, valence, slovníky, lexikální sémantika

Mgr. Radoslav Krivák

Radoslav Krivák
Vědecký pracovník | KSI

Mgr. Kateřina Lesch, Ph.D.

Kateřina Lesch
Vědecký pracovník | ÚFAL
Telefon 95155 4363
Místnost S 423

Mgr. Jindřich Libovický, Ph.D.

Jindřich Libovický
Strojový překlad, hluboké učení, multimodalita

Patrice Ossona De Mendez

Patrice Ossona De Mendez
Vědecký pracovník | IÚUK

Mgr. et Mgr. Marie Mikulová, Ph.D.

Marie Mikulová
Vědecký pracovník | ÚFAL
Telefon 95155 4361
Místnost S 420
Počítačová lingvistika, syntakticky anotované korpusy, morfologie, syntax, tektogramatická reprezentace

RNDr. Jiří Mírovský, Ph.D.

Jiří Mírovský
Vědecký pracovník | ÚFAL
Telefon 95155 4367
Místnost S 422
Analýza diskurzu, vyhledávání v jazykových databázích, slovníky, syntakticky anotované korpusy

RNDr. Jozef Mišutka, Ph.D.

Jozef Mišutka
Vědecký pracovník | ÚFAL
Telefon 95155 4260
Místnost S 424

Mgr. Jakub Mlynář, Ph.D.

Jakub Mlynář
Vědecký pracovník | ÚFAL
Telefon 95155 4391
Místnost S 156
jazyková data, zpracování řeči, sémantika, analýza diskurzu, multimodalita

Hossein Moosaei, Ph.D.

Hossein Moosaei
Vědecký pracovník | KAM
Místnost S 324

Mgr. Tomáš Musil

Tomáš Musil
Vědecký pracovník | ÚFAL
Místnost S 409
Zpracování přirozeného jazyka, hluboké neuronové sítě, strojové učení, strojový překlad, reprezentace významu

Mgr. Anna Nedoluzhko, Ph.D.

Anna Nedoluzhko
Vědecký pracovník | ÚFAL
Telefon 95155 4369
Místnost S 424
Korpusy jazykových dat, lexikální sémantika, koreference, sémantika, analýza diskurzu

Mgr. Michal Novák, Ph.D.

Michal Novák
Vědecký pracovník | ÚFAL
Telefon 95155 4366
Místnost S 425
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.

Pavel Paták
Kombinatorická topologie a geometrie

RNDr. Zuzana Patáková, Ph.D.

Zuzana Patáková
Diskrétní geometrie, algebraické metody v kombinatorice

prof. Patrice Pognan

Patrice Pognan
Vědecký pracovník | ÚFAL
Telefon 95155 4305
Místnost S 412
Automatické zpracování jazyků, historická fonologie češtiny, morfologie, syntax, západoslovanské jazyky, berberština

Mgr. Lucie Poláková, Ph.D.

Lucie Poláková
Vědecký pracovník | ÚFAL
Telefon 95155 4254
Místnost S 423
Analýza diskurzu, koreference, zpracování textu, korpusy jazykových dat, slovníky

Mgr. Martin Popel, Ph.D.

Martin Popel
Vědecký 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

Sayyed Mahdyar Ravanbakhsh, Ph.D.

Sayyed Mahdyar Ravanbakhsh
Vědecký pracovník | KSVI

Mgr. Rudolf Rosa, Ph.D.

Rudolf Rosa
Vědecký pracovník | ÚFAL
Místnost S 409
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.

Kateřina Rysová
Počítačová lingvistika, korpusy jazykových dat, analýza diskurzu, informační struktura, závislostní syntax

PhDr. Magdaléna Rysová, Ph.D.

Magdaléna Rysová
Počítačová lingvistika, korpusy jazykových dat, analýza diskurzu, slovníky, koreference

Ing. Shadi Saleh

Shadi Saleh
počítačová lingvistika, vyhledávání informací, strojový překlad, hluboké učení

Mgr. Michaela Seifrtová

Michaela Seifrtová
Vědecký pracovník | KAM
Telefon 95155 4149
Místnost S 125
Teoretická informatika

Bc. Petr Siegl

Petr Siegl
Vědecký pracovník | KDSS

RNDr. Jana Straková, Ph.D.

Jana Straková
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.

Pavel Straňák
Vědecký pracovník | ÚFAL
Telefon 95155 4247
Místnost S 424

Mgr. Pavlína Synková, Ph.D.

Pavlína Synková
Vědecký pracovník | ÚFAL
Telefon 95155 4254
Místnost S 423
Analýza diskurzu, morfologie, syntax, slovníky, korpusy jazykových dat

Mgr. Magda Ševčíková, Ph.D.

Magda Ševčíková
Vědecký pracovník | ÚFAL
Telefon 95155 4223
Místnost S 409
Počítačová lingvistika, derivační morfologie, slovotvorba, závislostní syntax, syntakticky anotované korpusy

Mgr. Barbora Štěpánková, Ph.D.

Barbora Štěpánková
Morfologie, syntax, lexikální sémantika, informační struktura

Mgr. Pavel Taufer

Pavel Taufer
Hluboké učení, neuronové sítě, strojové učení

PhDr. Zdeňka Urešová, Ph.D.

Zdeňka Urešová
Vědecký pracovník | ÚFAL
Telefon 95155 4361
Místnost S 420
Syntakticky anotované korpusy, slovníky, lexikální sémantika, valence, tektogramatická reprezentace

Mgr. Dušan Variš

Dušan Variš
Vědecký pracovník | ÚFAL
Místnost S 423
Zpracování přirozeného jazyka, hluboké učení, strojový překlad

Mgr. et Mgr. Anna Vernerová, Ph.D.

Anna Vernerová
Korpusy jazykových dat, syntakticky anotované korpusy, slovníky, valence, syntax

Mgr. Petr Vévoda

Petr Vévoda
Vědecký pracovník | KSVI

Mgr. Zuzana Vorlíková

Zuzana Vorlíková
Vědecký pracovník | ÚFAL

RNDr. Daniel Zeman, Ph.D.

Daniel Zeman
Vědecký pracovník | ÚFAL
Telefon 95155 4225
Místnost S 409
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.

Šárka Zikánová
Vědecký pracovník | ÚFAL
Telefon 95155 4224
Místnost S 423
Syntakticky anotované korpusy, syntax, analýza diskurzu, informační struktura

Ostatní pracovníci

Libuše Brdičková

Libuše Brdičková
Ostatní pracovník | ÚFAL
Telefon 95155 4278
Místnost S 408

Mgr. Jiří Calda

Jiří Calda
Ostatní pracovník | SISAL
Telefon 95155 4299
Správce sítě

Ing. Veronika Fišerová

Veronika Fišerová
Ostatní pracovník | KSVI
Telefon 95155 2922
Místnost N 214

RNDr. Libor Forst

Libor Forst
Ostatní pracovník | SISAL
Telefon 95155 4208
Místnost S 403

Mgr. Lenka Forstová

Lenka Forstová
Ostatní pracovník | SISAL
Telefon 95155 4110
Místnost S 400
Správce Recodexu a Selectu

Mgr. Milan Fučík

Milan Fučík
Ostatní pracovník | ÚFAL
Telefon 95155 4325
Místnost S 426

Mgr. Radmila Hacklová

Radmila Hacklová
Ostatní pracovník | SISAL
Telefon 95155 4209
Místnost S 402

Pravoslava Havelková, DiS.

Pravoslava Havelková
Ostatní pracovník | KAM
Telefon 95155 4455
Místnost S 124

Ing. Ivan Heráň

Ivan Heráň
Ostatní pracovník | ÚFAL
Telefon 95155 4186
Místnost S 426

Ing. Martin Himmel

Martin Himmel
Ostatní pracovník | SISAL
Telefon 95155 4210
Místnost S 400
Technická podpora

Ing. Libuše Kaprálová

Libuše Kaprálová
Ostatní pracovník | ÚFAL
Telefon 95155 4273

Petr Kos

Petr Kos
Ostatní pracovník | SISAL
Telefon 95155 2920

Kateřina Košnářová

Kateřina Košnářová
Ostatní pracovník | KSVI
Telefon 95155 4264
Místnost S 402

Anna Kotěšovcová

Anna Kotěšovcová
Ostatní pracovník | ÚFAL
Telefon 95155 1662
Místnost S 408

Marie Křížková

Marie Křížková
Ostatní pracovník | ÚFAL
Telefon 95155 4306
Místnost S 412

Hana Kubištová

Hana Kubištová
Ostatní pracovník | ÚFAL
Telefon 9  515 543 96
Místnost S 408

Mgr. Lukáš Kyjánek

Lukáš Kyjánek
Počítačová lingvistika, derivační morfologie, slovotvorba, multilingualita

Ing. Martin Lhoták

Martin Lhoták
Ostatní pracovník | ÚFAL

Dan Lukeš

Dan Lukeš
Ostatní pracovník | SISAL
Telefon 95155 4299
Správce centrálních služeb sítě

Ing. Jan Melich

Jan Melich
Ostatní pracovník | SISAL
Telefon 95155 4110
Místnost S 400

Petra Milštainová

Petra Milštainová
Ostatní pracovník | IÚUK
Telefon 95155 4324
Místnost S 222

Eva Mládková

Eva Mládková
Ostatní pracovník | KSI
Telefon 95155 4250
Místnost S 308

David Nápravník

David Nápravník
Ostatní pracovník | ÚFAL

Petra Novotná

Petra Novotná
Ostatní pracovník | KTIML
Telefon 95155 4245
Místnost S 308

RNDr. Helena Nyklová

Helena Nyklová
Ostatní pracovník | KAM
Telefon 95155 4290
Místnost S 226
Teoretická informatika

Petra Příhodová

Petra Příhodová
Ostatní pracovník | KAM
Telefon 95155 4230
Místnost S 222

Mgr. Sangeet Sagar

Sangeet Sagar
Ostatní pracovník | ÚFAL

Mgr. Pavel Semerád

Pavel Semerád
Ostatní pracovník | SISAL
Telefon 95155 4300
Místnost S 400
Správce serveru labu, správce AV techniky

Mgr. Tomáš Souček

Tomáš Souček
Ostatní pracovník | KSI

Mgr. Eva Šauerová, M.Sc.

Eva Šauerová
Ostatní pracovník | IÚUK
Telefon 95155 4199
Místnost S 124

Ing. František Šebek

František Šebek
Ostatní pracovník | SISAL
Telefon 95155 4212
Místnost S 400
Technická podpora

Mgr. Josef Šimůnek

Josef Šimůnek
Ostatní pracovník | SISAL
Telefon 95155 4184
Místnost S 400
Správce laboratoře, správce Windows stanic

Ing. Markéta Tomková

Markéta Tomková
Ostatní pracovník | KSVI
Telefon 95155 4199
Místnost S 124

Mgr. Tereza Vojtěchová

Tereza Vojtěchová
Ostatní pracovník | ÚFAL
Telefon 9  515 542 89
Místnost S 412

Externí pracovníci

Ing. Vojtěch Aschenbrenner

Vojtěch Aschenbrenner
Externí pracovník | KDSS
Místnost S 205
Operační systémy, počítačové sítě, překladače, výkonnost softwaru

RNDr. Petr Božovský, CSc.

Petr Božovský
Neuronové sítě

Bc. Edita Bromová

Edita Bromová
Externí pracovník | KSVI

RNDr. Jakub Daniel

Jakub Daniel
Externí pracovník | KDSS
Telefon 95155 4121
Verifikace software, analýza programů

Bc. Viktor Dobrovolný

Viktor Dobrovolný
Externí pracovník | KSVI

Nikola Frollová

Nikola Frollová
Externí pracovník | KSVI

RNDr. Leo Galamboš, Ph.D.

Leo Galamboš
Externí pracovník | KDSS
Telefon 910 800 252
Internet of Things, platformy pro big data, kyberbezpečnost

Bc. Vladan Glončák

Vladan Glončák
Externí pracovník | SISAL

Andrew Goodall

Andrew Goodall
Externí pracovník | IÚUK
Telefon 95155 2662
Místnost S 125
Algebraické teorie grafů, kombinatorika, topologické teorie grafů

Bc. Jan Hadrava

Jan Hadrava
Externí pracovník | KAM
Telefon 95155 4146
Místnost S 322
Teoretická informatika

PhDr. Petra Hoffmannová

Petra Hoffmannová
Externí pracovník | ÚFAL
Telefon 95155 4297
Místnost S 158
Vyhledávání informací

Bc. Martin Hykl

Martin Hykl
Externí pracovník | SISAL

Mgr. Amir Kamran

Amir Kamran
Externí pracovník | ÚFAL

Bc. Kateřina Koppová

Kateřina Koppová
Externí pracovník | KSVI

RNDr. Rudolf Kryl

Rudolf Kryl
Externí pracovník | KSVI
Telefon 95155 4218
Místnost S 312

RNDr. Naděžda Krylová, CSc.

Naděžda Krylová
Externí pracovník | KAM
Telefon 95155 4262
Místnost S 325
Teoretická informatika

MgA. Ivo Kristián Kubák, DrSc.

Ivo Kristián Kubák
Externí pracovník | KSVI

Mgr. Petr Lasák

Petr Lasák
Externí pracovník | KSI

Mgr. Daniel Lessner, Ph.D.

Daniel Lessner
Externí pracovník | KSVI
Didaktika informatiky, informatické myšlení

Mgr. Jiří Lukavský, Ph.D.

Jiří Lukavský
Externí pracovník | KSVI

doc. RNDr. Josef Mlček, CSc.

Josef Mlček
Externí pracovník | KTIML
Telefon 95155 4249
Místnost S 304

Mgr. Jan Musílek

Jan Musílek
Externí pracovník | SISAL
Telefon 95155 4373
Teoretická informatika

Mgr. Julie Nekola Nováková

Julie Nekola Nováková
Externí pracovník | KSVI

prof. RNDr. Petr Pančoška, CSc.

Petr Pančoška
Externí pracovník | IÚUK
Telefon 95155 1268
Místnost S 324
Teoretická informatika

Mgr. Jan Pechanec

Jan Pechanec
Externí pracovník | SISAL

Bc. Pavel Pilař

Pavel Pilař
Externí pracovník | KSVI

Petra Plintová

Petra Plintová
Externí pracovník | KSVI

prof. Vojtěch Rödl

Vojtěch Rödl
Externí pracovník | IÚUK
Místnost S 220

Ing. Alexandr Rosen, Ph.D.

Alexandr Rosen
Externí pracovník | ÚFAL

Bc. Václav Rozhoň

Václav Rozhoň
Externí pracovník | KAM
Teoretická informatika

Petra Sedláčková

Petra Sedláčková
Externí pracovník | KSVI

Mgr. Tomáš Skřivan

Tomáš Skřivan
Externí pracovník | KSVI

Tomáš Sláma

Tomáš Sláma
Externí pracovník | KAM
Telefon 95155 4146
Místnost S 322

Mgr. Jakub Svoboda

Jakub Svoboda
Externí pracovník | KAM
Teoretická informatika

Bc. David Šerý

David Šerý
Externí pracovník | KSVI

RNDr. Martin Šik

Martin Šik
Externí pracovník | KSVI
Telefon 95155 4443
Místnost S 406

Michaela Škrábová

Michaela Škrábová
Externí pracovník | KSVI

Bc. Ondřej Švec

Ondřej Švec
Externí pracovník | KSVI

Pavel Turinský

Pavel Turinský
Externí pracovník | KAM
Místnost S 322

RNDr. Tomáš Valla, Ph.D.

Tomáš Valla
Externí pracovník | IÚUK
Telefon 95155 4147
Místnost S 322

Mgr. Vojtěch Vorel

Vojtěch Vorel
Externí pracovník | KSVI

Doktorandi

Mgr. Josef Amemori

Josef Amemori
Teoretická informatika

Mgr. Jakub Arnold

Jakub Arnold
Hluboké učení, hluboké neuronové sítě, strojové učení, zpracování přirozeného jazyka

Mgr. Michal Auersperger

Michal Auersperger
Hluboké učení, zpracování přirozeného jazyka

RNDr. Štěpán Balcar

Štěpán Balcar
Doktorand | KSI
Doporučovací systémy, evoluční algoritmy

Mgr. Martin Blicha

Martin Blicha
Verifikace software, model checking, SAT, SMT

Mgr. Jan Bok

Jan Bok
Teorie grafů, kombinatorika, algoritmy, teorie her, intervalová analýza

Mgr. Denys Bulavka

Denys Bulavka
Doktorand | KAM

Mgr. Jakub Černý

Jakub Černý
Doktorand | KAM

Ing. Pavel Čontoš

Pavel Čontoš
Doktorand | KSI

Mgr. Vlastimil Dort

Vlastimil Dort
Doktorand | KDSS
Telefon 95155 4235
Statická analýza programů, typové systémy

Mgr. Pavel Dvořák

Pavel Dvořák
Doktorand | IÚUK
Telefon 95155 4433
Místnost S 508
Výpočetní a komunikační složitost

Mgr. Tomáš Faltín

Tomáš Faltín
Distribuované systémy, paralelní programování, velká data

Mgr. Lukáš Folwarczný

Lukáš Folwarczný
Doktorand | IÚUK
Telefon 222 090 767

Mgr. Elif Garajová

Elif Garajová
Doktorand | KAM
Místnost S 508
Optimalizace, operační výzkum, intervalové počítání

Mgr. Jan Hamáček

Jan Hamáček
Doktorand | KSVI

Mgr. Jaroslav Hančl

Jaroslav Hančl
Doktorand | KAM
Telefon 95155 4432
Místnost S 508
Teoretická informatika

RNDr. Jiří Helmich

Jiří Helmich
Doktorand | KSI
Telefon 95155 4260
Místnost S 208
Automatické objevování transformačních pipeline pro vizualizaci propojených dat

Mgr. Tomáš Hubík

Tomáš Hubík
Systémová dynamika, business modelování

Mgr. Ing. Robert Husák

Robert Husák
Analýza a verifikace programů, kompilace dynamických jazyků

RNDr. Radek Hušek

Radek Hušek
Doktorand | IÚUK
Telefon 95155 4327
Místnost S 320

Mgr. Miloš Chaloupka

Miloš Chaloupka
Doktorand | KSI
Telefon 95155 4260
Místnost S 208
Propojená data, překlad dotazů SPARQL na SQL, virtuální RDF databáze

Mgr. Miloš Chromý

Miloš Chromý
Doktorand | KTIML
Telefon 95155 4439
Místnost S 508
Booleovské funkce, reprezentace a kompilace znalostí, kódování do KNF

Mgr. Jelínek Jan

Jelínek Jan
Doktorand | KSI
Telefon 95155 4260
Místnost S 208

Bushra Jawaid

Bushra Jawaid
Doktorand | ÚFAL

Mgr. Nikola Jedličková

Nikola Jedličková
Teoretická informatika

Mgr. Filip Kliber

Filip Kliber
Doktorand | KDSS
Telefon 95155 4121
Místnost S 309
Programování, analýza programů, překladače

Dipl.-Ing. Ivo Kondapaneni

Ivo Kondapaneni
Doktorand | KSVI
Telefon 95155 4443
Místnost S 126

Mgr. Karel Král

Karel Král
Doktorand | IÚUK
Telefon 95155 4432
Místnost S 508
Výpočetní složitost, teoretická kryptografie

RNDr. Miroslav Kratochvíl

Miroslav Kratochvíl
Doktorand | KSI
Telefon 95155 4148
Místnost S 202
Funkcionální programování, kompilátory, bioinformatika

RNDr. Filip Krijt

Filip Krijt
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy

Mgr. Vincent Kríž

Vincent Kríž
Doktorand | ÚFAL
Telefon 95155 4223
Místnost S 409
Počítačová lingvistika, propojená data, syntaktická analýza a parsery

Mgr. Jan Oldřich Krůza

Jan Oldřich Krůza
Korpusy jazykových dat, zpracování řeči

Mgr. Tomáš Křen

Tomáš Křen
Doktorand | KTIML
Telefon 95155 4251

Pankaj Kumar, M.Sc.

Pankaj Kumar
Doktorand | KAM

Mgr. Ivana Kvapilíková

Ivana Kvapilíková
Strojový překlad, hluboké učení

Mgr. Matej Lieskovský

Matej Lieskovský
Doktorand | IÚUK
Teoretická informatika

Mgr. Dominik Macháček

Dominik Macháček
Strojový překlad, hluboké učení

Sonja Marković, M.A.

Sonja Marković
Doktorand | ÚFAL
Místnost S 508
Korpusy jazykových dat, závislostní syntax, univerzální závislosti

Ladislav Maršík

Ladislav Maršík
Music information retrieval, analýza harmonie, webové aplikace

Nikita Mediankin

Nikita Mediankin
Doktorand | ÚFAL

Mgr. Martin Mirbauer

Martin Mirbauer
Doktorand | KSVI
Telefon 95155 4442
Místnost S 126
Počítačová grafika, hluboké učení

Mgr. Josef Moudřík

Josef Moudřík
Neuronové sítě, Monte-Carlo stromové prohledávání

Dipl.-Ing. Thomas Klaus Nindel

Thomas Klaus Nindel
Doktorand | KSVI
Telefon 95155 4443
Místnost S 126

Mgr. Michal Opler

Michal Opler
Doktorand | IÚUK
Místnost S 322
Permutace, výpočetní složitost, teorie grafů

Tobias Rittig

Tobias Rittig
Doktorand | KSVI
Telefon 95155 4442
Místnost S 126

Ivana Sixtová

Ivana Sixtová
Doktorand | ÚFAL

Mgr. Michael Skotnica

Michael Skotnica
Doktorand | KAM
Telefon 95155 4294
Místnost S 320
Kombinatorická teorie grup, algebraická topologie, výpočetní složitost

Mgr. Veronika Slívová

Veronika Slívová
Doktorand | IÚUK
Telefon 95155 4432
Místnost S 508
Výpočetní složitost, teoretická kryptografie

Antonín Steinhauser

Antonín Steinhauser
Doktorand | KDSS
Testování bezpečnosti, skenery zranitelnosti

Mgr. Jakub Střelský

Jakub Střelský
Umělá inteligence, strojové učení

Roman Sudarikov

Roman Sudarikov
Doktorand | ÚFAL

Mgr. Jana Syrovátková

Jana Syrovátková
Doktorand | IÚUK
Telefon 95155 4435

Mgr. Vít Šefl

Vít Šefl
Doktorand | KSVI

Mgr. Jiří Šejnoha

Jiří Šejnoha
Doktorand | KAM
Místnost S 320
Teoretická informatika

RNDr. Dominik Škoda

Dominik Škoda
Dynamické softwarové architektury, samo-adaptující se systémy, chytré kyber-fyzikální systémy

Mgr. Jiří Švancara

Jiří Švancara
Doktorand | KTIML
Telefon 95155 4439
Místnost S 508
Multiagentní plánování cest, umělá inteligence, SAT

RNDr. Ing. Otakar Trunda

Otakar Trunda
Doktorand | KTIML
Telefon 95155 4251
Místnost S 207

Mgr. Jonáš Vidra

Jonáš Vidra
Počítačová lingvistika, strojové učení, derivační morfologie, multilingualita

Mgr. Jiří Vinárek

Jiří Vinárek
Verifikace software, model checking

Mgr. Jindřich Vodrážka

Jindřich Vodrážka
Doktorand | KTIML
Telefon 9  515 541 85
Místnost S 426
Automatické plánování, modelování znalostí, robotika

Mgr. Peter Zeman

Peter Zeman
Doktorand | KAM
Telefon 95155 4294
Místnost S 320
Algebraická a topologická teorie grafů, permutační toerie grup, problém grafového izomorfismu