People

Professors

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

Roman Barták
Professor | KTIML
Phone 95155 4242
Room S 206
Artificial Intelligence, planning and scheduling, constraint satisfaction

prof. RNDr. Jan Hajič, Dr.

Jan Hajič
Professor | UFAL
Phone 95155 4257
Room S 420
Language corpora, lexicons, semantics, machine translation, natural language processing

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

Eva Hajičová
Professor | UFAL
Phone 95155 4272
Room S 407
Language corpora, syntax, semantics, information structure, discourse analysis

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

Michal Koucký
Professor | CSI (IÚUK)
Phone 95155 4328
Room S 326
Theory of computing, computational complexity, algorithms and data structures

prof. RNDr. Jan Kratochvíl, CSc.

Jan Kratochvíl
Professor | KAM
Phone 95155 4234
Room S 226
Computer science

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

Luděk Kučera
Professor | KAM
Phone 95155 4233
Room S 225
Computer science

prof. RNDr. Martin Loebl, CSc.

Martin Loebl
Professor | KAM
Phone 95155 4329
Room S 223
Discrete mathematics, algorithms and complexity, optimization

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

Jaroslav Nešetřil
Professor | CSI (IÚUK)
Phone 95155 4229
Room S 220
Computer science

prof. PhDr. Jarmila Panevová, DrSc.

Jarmila Panevová
Professor | UFAL
Phone 95155 4305
Room S 412
Morphology, syntax, valency, tectogrammatical representation, coreference

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

František Plášil
Professor | D3S (KDSS)
Phone 95155 4266
Room S 212
Software architectures, self-adaptive systems, formal methods

prof. RNDr. Jaroslav Pokorný, CSc.

Jaroslav Pokorný
Professor | KSI
Phone 95155 4265
Room S 306
Database systems, query languages, data organization, NoSQL databases, Big Data, graph databases

prof. RNDr. Aleš Pultr, DrSc.

Aleš Pultr
Professor | KAM
Phone 95155 4231
Room S 224
Computer science

prof. RNDr. Jiří Sgall, DrSc.

Jiří Sgall
Professor | CSI (IÚUK)
Phone 95155 4293
Room S 307
Theory of algorithms, online algorithms, approximation algorithms, scheduling, computational complexity

prof. Ing. Petr Tůma, Dr.

Petr Tůma
Professor | D3S (KDSS)
Phone 95155 4267
Room S 205
Software performance, measurement methodologies, performance engineering

prof. RNDr. Milan Vlach, DrSc.

Milan Vlach
Professor | KTIML
Phone 95155 4340
Room S 303

prof. RNDr. Peter Vojtáš, DrSc.

Peter Vojtáš
Professor | KSI
Phone 95155 4239
Room S 306
Modeling customer preferences, dynamic web semantization, preferential Datalog, Galois-Tukey connection/reductions

prof. RNDr. Karel Zimmermann, DrSc.

Karel Zimmermann
Professor | KAM
Phone 95155 4262
Room S 325
Operations research, optimization

Visiting Professors

Associate Professors

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

Ondřej Bojar
Associate Professor | UFAL
Phone 95155 4276
Room S 423
Machine translation, meaning representation, deep learning, machine learning, multilinguality

doc. Mgr. Cyril Brom, Ph.D.

Cyril Brom
Associate Professor | KSVI
Phone 95155 4216
Room S 312
Multimedia learning, educational games, educational multimedia, computing education, educational psychology, cognitive neuropsychology

doc. RNDr. Tomáš Bureš, Ph.D.

Tomáš Bureš
Associate Professor | D3S (KDSS)
Phone 95155 4236
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

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

Ondřej Čepek
Associate Professor | KTIML
Phone 95155 4246
Room S 302
Boolean functions, knowledge representation and compilation, CNF encodings

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

Tomáš Dvořák
Associate Professor | KSVI
Phone 95155 4310
Room S 405
Discrete mathematics, algorithms and data structures

doc. Mgr. Zdeněk Dvořák, Ph.D.

Zdeněk Dvořák
Associate Professor | CSI (IÚUK)
Phone 95155 4390
Room S 323
Graph coloring, structural and algorithmic graph theory

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

Jiří Fiala
Associate Professor | KAM
Phone 95155 4322
Room S 224
Graph algorithms, computational complexity, graph classes

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

Milan Hladík
Associate Professor | KAM
Phone 95155 4308
Room S 325
Optimization, linear algebra, interval computation

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

Petr Hnětynka
Associate Professor | D3S (KDSS)
Phone 95155 9043
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

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

Irena Holubová
Associate Professor | KSI
Phone 95155 4316
Room S 209
NoSQL databases, multi-model databases, evolution management

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

Vít Jelínek
Associate Professor | CSI (IÚUK)
Phone 95155 4326
Room S 323
Combinatorics, discrete geometry, graph theory

doc. RNDr. Martin Klazar, Dr.

Martin Klazar
Associate Professor | KAM
Phone 95155 4238
Room S 224
Enumerative (and extremal) combinatorics, number theory

doc. Mgr. Petr Kolman, Ph.D.

Petr Kolman
Associate Professor | KAM
Phone 95155 4155
Room S 225
Theory of algorithms, approximation algorithms, graph theory, optimization

doc. Ing. Jaroslav Křivánek, Ph.D.

Jaroslav Křivánek
Associate Professor | KSVI
Phone 95155 4214
Room S 405
Computer graphics, physically-based rendering, Monte Carlo methods, computational fabrication

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

Antonín Kučera
Associate Professor | KTIML
Phone 95155 4244
Room S 303
Computability, algorithmic randomness

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

Markéta Lopatková
Associate Professor | UFAL
Phone 95155 4258
Room S 407
Computational linguistics, treebanks, dependency syntax, valency, lexical semantics

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

Iveta Mrázová
Associate Professor | KTIML
Phone 95155 4123
Room S 304
Neural networks, data mining

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

Martin Nečaský
Semantic web, Linked Data, knowledge graphs, conceptual modeling

doc. RNDr. Pavel Pecina, Ph.D.

Pavel Pecina
Associate Professor | UFAL
Phone 95155 4332
Room S 422
Computational linguistics, natural language processing, machine translation, information retrieval, multimodality

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

Robert Šámal
Associate Professor | CSI (IÚUK)
Phone 95155 4326
Room S 323
Graph coloring, homomorphisms, nowhere-zero flows, applications of probability in combinatorics

doc. RNDr. Elena Šikudová, Ph.D.

Elena Šikudová
Associate Professor | KSVI
Phone 95155 4452

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

Tomáš Skopal
Associate Professor | KSI
Phone 95155 4227
Room S 209
Similarity search, multimedia retrieval, database systems, unstructured data

doc. RNDr. Martin Tancer, Ph.D.

Martin Tancer
Associate Professor | KAM
Phone 95155 4206
Room S 325
Computer science

doc. Hans Raj Tiwary, M.Sc.

Hans Raj Tiwary
Associate Professor | KAM
Phone 95155 4307
Room S 225
Computer science

doc. RNDr. Pavel Valtr, Dr.

Pavel Valtr
Associate Professor | KAM
Phone 95155 4228
Room S 226
Computer science, combinatorial geometry

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

Zdeněk Žabokrtský
Associate Professor | UFAL
Phone 95155 4288
Room S 409
Treebanks, derivational morphology, dependency syntax, language data, natural language processing

Assistant Professors

RNDr. Martin Balko, Ph.D.

Martin Balko
Assistant Professor | KAM
Phone 95155 4220
Room S 125
Graph theory, combinatorics, Ramsey theory, combinatorial geometry

doc. Ing. Lubomír Bulej, Ph.D.

Lubomír Bulej
Assistant Professor | D3S (KDSS)
Phone 95155 4189
Room S 205
Dynamic program analysis, software performance evaluation and testing

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

Ondřej Dušek
Assistant Professor | UFAL
Phone 95155 4364
Room S 424
Dialogue systems, natural language generation, chatbots, deep learning

Andreas Emil Feldmann, Dr.

Andreas Emil Feldmann
Assistant Professor | KAM
Phone 95155 4372
Room S 325
Parameterized approximation algorithms, network design, metric embeddings

RNDr. Jiří Fink, Ph.D.

Jiří Fink
Assistant Professor | KTIML
Phone 95155 4425
Room S 305
Combinatorial optimization, artificial intelligence, planning and scheduling

Mgr. Petr Gregor, Ph.D.

Petr Gregor
Assistant Professor | KTIML
Phone 95155 4140
Room S 305
Graph theory, combinatorial algorithms, hypercubes

RNDr. David Hoksza, Ph.D.

David Hoksza
Bioinformatics, cheminformatics, visualization

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

Pavel Hubáček
Assistant Professor | CSI (IÚUK)
Phone 95155 4458
Room S 326
Cryptography, computational complexity, theory of computation

Mgr. Jan Hubička, Ph.D.

Jan Hubička
Assistant Professor | KAM
Phone 95155 4373
Room S 322
Computer science

RNDr. Jakub Klímek, Ph.D.

Jakub Klímek
Semantic web, Linked Data, web services, web re-decentralization

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

Tereza Klimošová
Assistant Professor | KAM
Phone 95155 4220
Room S 125
Graph theory, combinatorics

RNDr. Jan Kofroň, Ph.D.

Jan Kofroň
Assistant Professor | D3S (KDSS)
Phone 95155 4285
Room S 309
Software verification, model checking

Mgr. Martin Koutecký, Ph.D.

Martin Koutecký
Assistant Professor | CSI (IÚUK)
Phone 95155 4460
Room S 326
Computer science

RNDr. Martin Kruliš, Ph.D.

Martin Kruliš
Assistant Professor | KSI
Phone 95155 4193
Room S 203
Parallel programming and performance optimizations, web technologies, data analysis and machine learning, similarity search

Mgr. Jan Kynčl, Ph.D.

Jan Kynčl
Assistant Professor | KAM
Phone 95155 4149
Room S 125
Discrete geometry, combinatorics, graph drawing

RNDr. Jakub Lokoč, Ph.D.

Jakub Lokoč
Assistant Professor | KSI
Room S 209

RNDr. David Mareček, Ph.D.

David Mareček
Syntactic analysis and parsing, machine translation, multilinguality, deep neural networks, meaning representation

Mgr. Martin Mareš, Ph.D.

Martin Mareš
Assistant Professor | KAM
Phone 95155 4221
Room S 322
Algorithms and data structures

RNDr. Pavel Parízek, Ph.D.

Pavel Parízek
Assistant Professor | D3S (KDSS)
Phone 95155 4148
Room S 202
Software verification, program analysis

Irena Penev, Dr.

Irena Penev
Assistant Professor | CSI (IÚUK)
Room S 323
Graph theory, graph algorithms

RNDr. Martin Pergel, Ph.D.

Martin Pergel
Assistant Professor | KSVI
Phone 95155 4194
Room S 404
Complexity theory, graphs with geometric representation, algorithms and programming

Mgr. Ladislav Peška, Ph.D.

Ladislav Peška
Recommender systems, preference learning, information retrieval, applied machine learning

Mgr. Martin Pilát, Ph.D.

Martin Pilát
Assistant Professor | KTIML
Phone 95155 4243
Room S 305
Evolutionary algorithms, machine learning, multi-objective optimization, deep learning, reinforcement learning

RNDr. Milan Straka, Ph.D.

Milan Straka
Assistant Professor | UFAL
Phone 95155 4361
Room S 420
Deep learning, natural language processing, morphological analysis and tagging, syntactic analysis and parsing, universal dependencies

RNDr. Martin Svoboda, Ph.D.

Martin Svoboda
NoSQL databases, query languages, influence maximization, regular tree grammars, Linked Data

Lecturers

RNDr. David Bednárek, Ph.D.

David Bednárek
Lecturer | KSI
Phone 95155 4191
Room S 203
Compilers, high-performance computing, programming and meta-programming in C++

Mgr. Jakub Gemrot, Ph.D.

Jakub Gemrot
Lecturer | KSVI
Phone 95155 4445
Room S 406
Game development, game artificial intelligence, computational creativity, game design

RNDr. Tomáš Holan, Ph.D.

Tomáš Holan
Lecturer | KSVI
Phone 95155 4241
Room S 404
Programming, technology-enhanced learning, board/card games artificial intelligence

RNDr. Jan Hric

Jan Hric
Lecturer | KTIML
Phone 95155 4283
Room S 302
Logic programming, functional programming, artificial intelligence

Mgr. Pavel Ježek, Ph.D.

Pavel Ježek
Lecturer | D3S (KDSS)
Phone 95155 4235
Room S 204
Teaching programming, C#, .NET

Mgr. Martin Kahoun

Martin Kahoun
Lecturer | KSVI
Phone 95155 4441
Room S 126
Realtime computer graphics, procedural modeling

RNDr. Michal Kopecký, Ph.D.

Michal Kopecký
Lecturer | KSI
Phone 95155 4269
Room S 202
Relational databases, recommendation, semantization

RNDr. Alena Koubková, CSc.

Alena Koubková
Lecturer | D3S (KDSS)
Phone 95155 4268
Room S 202
Data structures, analysis of algorithms

RNDr. Petr Kučera, Ph.D.

Petr Kučera
Lecturer | KTIML
Phone 95155 4138
Room S 304
SAT solvers and their applications, knowledge compilation, constraint encodings for SAT

Mgr. Vladan Majerech, Dr.

Vladan Majerech
Lecturer | KTIML
Phone 95155 4427
Room S 302
Data structures

RNDr. František Mráz, CSc.

František Mráz
Lecturer | KSVI
Phone 95155 4219
Room S 405
Automata theory, formal languages, machine learning, bioinformatics

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

David Obdržálek
Mobile robotics, autonomous vehicles, Internet of Things

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

Ondřej Pangrác
Lecturer | CSI (IÚUK)
Phone 95155 4149
Room S 125
Graph theory, graph algorithms, matroid theory

RNDr. Josef Pelikán

Josef Pelikán
Lecturer | KSVI
Phone 95155 4240
Room S 406
Computer graphics, augmented reality, virtual reality, GPU programming

Mgr. Nino Peterek, Ph.D.

Nino Peterek
Lecturer | UFAL
Phone 95155 4254
Room S 423
Computational linguistics, speech processing, language corpora, multilinguality, multimodality

Mgr. Marta Vomlelová, Ph.D.

Marta Vomlelová
Lecturer | KTIML
Phone 95155 4248
Room S 303
Probabilistic graphical models, machine learning

RNDr. Jakub Yaghob, Ph.D.

Jakub Yaghob
Lecturer | KSI
Phone 95155 4274
Room S 203
Parallel/distributed/high-performance computing, compilers, Big Data processing, C++ programming

RNDr. Filip Zavoral, Ph.D.

Filip Zavoral
Lecturer | KSI
Phone 95155 4192
Room S 203
Software development, C++, distributed systems, data processing

Researchers

Rima Al Ali

Rima Al Ali
Researcher | D3S (KDSS)
Phone 95155 4235
Room S 204
Uncertainty in adaptive systems, self-adaptation, cyber-physical systems

Ebrahim Ansari, Ph.D.

Ebrahim Ansari
Computational linguistics, machine learning, (deep) neural networks, morphological analysis and tagging, morphology, derivational morphology, lexicons

Mgr. Petra Barančíková

Petra Barančíková
Researcher | UFAL
Room S 423
Machine learning, natural language processing

Ing. David Bernhauer

David Bernhauer
Researcher | KSI

Dr. rer. nat. Cornelius Brand

Cornelius Brand
Researcher | CSI (IÚUK)

Mgr. et Mgr. Kateřina Bryanová

Kateřina Bryanová
Researcher | UFAL
Phone 95155 4396
Room S 412

Erion Çano, Ph.D.

Erion Çano
Researcher | UFAL
Phone 95155 4279
Room S 425
Natural language processing, information retrieval, natural language generation

RNDr. David Chodounský, Ph.D.

David Chodounský
Computer science, set theory, forcing

Mgr. Silvie Cinková, Ph.D.

Silvie Cinková
Researcher | UFAL
Phone 95155 4224
Room S 423
Text processing, language data, searching in language corpora

Lluís Vena Cros, Dr.

Lluís Vena Cros
Researcher | KAM
Computer science

Mgr. Ing. Kira Droganova

Kira Droganova
Computational linguistics, treebanks, language data, syntactic analysis and parsing, universal dependencies

Carl Feghali, Ph.D.

Carl Feghali
Researcher | CSI (IÚUK)

Mgr. Eva Fučíková

Eva Fučíková
Researcher | UFAL
Phone 95155 4131
Room S 423
Treebanks, lexicons, valency

Andrew Goodall, Ph.D.

Andrew Goodall
Algebraic graph theory, combinatorics, topological graph theory

Mei Mei Gu, Dr.

Mei Mei Gu
Researcher | CSI (IÚUK)
Discrete mathematics, network analysis

Mgr. Jan Hajič, Ph.D.

Jan Hajič
Deep learning, multimodality, signal processing

RNDr. Jiří Hana, Ph.D.

Jiří Hana
Researcher | UFAL
Phone 95155 4364
Room S 424
Natural language processing, natural language generation, morphology, universal dependencies

Ing. David Hartman, Ph.D.

David Hartman
Researcher | CSI (IÚUK)
Phone 95155 4220
Room S 125
Algebraic graph theory, combinatorics, complex networks, optimization, interval arithmetics

Mgr. Jindřich Helcl

Jindřich Helcl
Machine translation, deep learning, natural language processing

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

Barbora Vidová Hladká
Researcher | UFAL
Phone 95155 4223
Room S 409
Computational linguistics, treebanks, natural language processing

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

Jaroslava Hlaváčová
Morphology, morphological analysis and tagging, language corpora

RNDr. Martin Holub, Ph.D.

Martin Holub
Researcher | UFAL
Phone 95155 4365
Room S 425
Natural language processing, lexical semantics, multiword expressions, lexicons, language corpora, multilinguality

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

Jaroslav Horáček
Researcher | KAM
Phone 95155 4327
Computer science

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

Vojtěch Horký
Researcher | D3S (KDSS)
Phone 95155 4457
Room S 205
Software performance, automated performance testing, software performance documentation

Davis Issac, Ph.D.

Davis Issac
Researcher | CSI (IÚUK)

Ida Kantor, M.Sc.

Ida Kantor
Researcher | CSI (IÚUK)
Room S 326
Combinatorics, graph theory, finite structures

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

Václava Kettnerová
Dependency syntax, valency, lexicons, lexical semantics, multiword expressions

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

Jana Klímová
Language corpora, word-formation, valency, lexicons

PhDr. Jiří Kocián

Jiří Kocián
Researcher | UFAL
Phone 95155 4391
Room S 156
Language data, speech processing, semantics, discourse analysis, multimodality

Ing. Tom Kocmi

Tom Kocmi
Machine translation, deep learning

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

Veronika Kolářová
Dependency syntax, treebanks, valency, lexicons, lexical semantics

Mgr. Lukáš Kolek

Lukáš Kolek
Researcher | KSVI

Mgr. Radoslav Krivák

Radoslav Krivák
Researcher | KSI

Pankaj Kumar, M.Sc.

Pankaj Kumar
Researcher | CSI (IÚUK)

Mgr. Kateřina Lesch, Ph.D.

Kateřina Lesch
Researcher | UFAL
Phone 95155 4363
Room S 423

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

Jindřich Libovický
Machine translation, deep learning, multimodality

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

Marie Mikulová
Researcher | UFAL
Phone 95155 4361
Room S 420
Computational linguistics, treebanks, morphology, syntax, tectogrammatical representation

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

Jiří Mírovský
Researcher | UFAL
Phone 95155 4367
Room S 422
Discourse analysis, searching in language corpora, lexicons, treebanks

Mgr. Jakub Mlynář, Ph.D.

Jakub Mlynář
Researcher | UFAL
Phone 95155 4391
Room S 156
Language data, speech processing, semantics, discourse analysis, multimodality

Anish Mukherjee, M.Sc.

Anish Mukherjee
Researcher | CSI (IÚUK)

Mgr. Tomáš Musil

Tomáš Musil
Natural language processing, deep neural networks, machine learning, machine translation, meaning representation

Mgr. Anna Nedoluzhko, Ph.D.

Anna Nedoluzhko
Language corpora, lexical semantics, coreference, semantics, discourse analysis, multilinguality

Mgr. Michal Novák, Ph.D.

Michal Novák
Researcher | UFAL
Phone 95155 4366
Room S 425
Computational linguistics, natural language processing, machine learning, text processing, machine translation, coreference, multilinguality

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

Zuzana Patáková
Discrete geometry, algebraic methods in combinatorics, topological combinatorics

Martin Plátek, CSc.

Martin Plátek
Researcher | KTIML
Phone 95155 4142
Room S 206
Automata theory, mathematical linguistics, restarting automata

prof. Patrice Pognan

Patrice Pognan
Natural language processing, Czech historical phonology, morphology, syntax, West Slavic languages, Berber

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

Lucie Poláková
Discourse analysis, coreference, text processing, language corpora, lexicons

Mgr. Martin Popel, Ph.D.

Martin Popel
Machine translation, deep learning, universal dependencies, searching in language corpora, natural language processing

Mgr. Rudolf Rosa, Ph.D.

Rudolf Rosa
Multilinguality, text processing, morphological analysis and tagging, syntactic analysis and parsing, deep neural networks

PhDr. Kateřina Rysová, Ph.D.

Kateřina Rysová
Computational linguistics, language corpora, discourse analysis, information structure, dependency syntax

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

Magdaléna Rysová
Computational linguistics, language corpora, discourse analysis, lexicons, coreference

Ing. Shadi Saleh

Shadi Saleh
Computational linguistics, information retrieval, machine translation, deep learning

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

Magda Ševčíková
Computational linguistics, derivational morphology, word-formation, dependency syntax, treebanks

Mgr. Petr Škoda, Ph.D.

Petr Škoda
Linked Data, cheminformatics

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

Barbora Štěpánková
Morphology, syntax, lexical semantics, information structure

RNDr. Jana Straková, Ph.D.

Jana Straková
Natural language processing, deep learning, text processing, morphological analysis and tagging, syntactic analysis and parsing, information retrieval

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

Pavlína Synková
Discourse analysis, morphology, syntax, lexicons, language corpora

Mgr. Pavel Taufer

Pavel Taufer
Deep learning, machine learning, neural networks

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

Zdeňka Urešová
Researcher | UFAL
Phone 95155 4361
Room S 420
Treebanks, lexicons, lexical semantics, valency, tectogrammatical representation

Mgr. Dušan Variš

Dušan Variš
Natural language processing, deep learning, machine translation

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

Anna Vernerová
Language corpora, treebanks, lexicons, valency, syntax

RNDr. Daniel Zeman, Ph.D.

Daniel Zeman
Researcher | UFAL
Phone 95155 4225
Room S 409
Computational linguistics, language technologies, morphological analysis and tagging, syntactic analysis and parsing, morphology, dependency syntax, valency, universal dependencies, multilinguality

PhDr. Šárka Zikánová, Ph.D.

Šárka Zikánová
Treebanks, syntax, discourse analysis, information structure

Other Staff

Libuše Brdičková

Libuše Brdičková
Other Staff | UFAL
Phone 95155 4278
Room S 408

Mgr. Jiří Calda

Jiří Calda
Other Staff | SISAL
Phone 95155 4299
Network administrator

Mgr. Lenka Forstová

Lenka Forstová
Other Staff | SISAL
Phone 95155 4110
Room S 400
Recodex and Select administrator

Mgr. Radmila Hacklová

Radmila Hacklová
Other Staff | SISAL
Phone 95155 4209
Room S 402

Pravoslava Havelková, DiS.

Pravoslava Havelková
Other Staff | KAM
Phone 95155 4455

Ing. Martin Himmel

Martin Himmel
Other Staff | SISAL
Phone 95155 4210
Room S 400
Technical support

Petr Kos

Petr Kos
Other Staff | SISAL
Phone 286 021 615

Kateřina Košnářová

Kateřina Košnářová
Other Staff | KSVI
Phone 95155 4264
Room S 402

Anna Kotěšovcová

Anna Kotěšovcová
Other Staff | UFAL
Phone 95155 1662
Room S 408

Bc. Gregor Kovalčík

Gregor Kovalčík
Other Staff | KSI

Marie Křížková

Marie Křížková
Other Staff | UFAL
Phone 95155 4306
Room S 412

Hana Kubištová

Hana Kubištová
Other Staff | UFAL
Phone 95155 4396
Room S 408

Bc. Lukáš Kyjánek

Lukáš Kyjánek
Computational linguistics, derivational morphology, word-formation, multilinguality

Dan Lukeš

Dan Lukeš
Other Staff | SISAL
Phone 95155 4299
Central network services administrator

RNDr. Ondřej Matouš

Ondřej Matouš
Other Staff | SISAL
Phone 95155 4205
Room S 400

Ing. Jan Melich

Jan Melich
Other Staff | SISAL
Phone 95155 4110
Room S 400

Petra Milštainová

Petra Milštainová
Other Staff | CSI (IÚUK)
Phone 95155 4324

Eva Mládková

Eva Mládková
Other Staff | KSI
Phone 95155 4250
Room S 308

Petra Novotná

Petra Novotná
Other Staff | KTIML
Phone 95155 4245
Room S 308

RNDr. Helena Nyklová

Helena Nyklová
Other Staff | KAM
Phone 95155 4290
Room S 226
Computer science

Petra Příhodová

Petra Příhodová
Other Staff | KAM
Phone 95155 4230
Room S 222

Mgr. Eva Šauerová, M.Sc.

Eva Šauerová
Other Staff | CSI (IÚUK)
Phone 95155 4199
Room S 124

Ing. František Šebek

František Šebek
Other Staff | SISAL
Phone 95155 4212
Room S 400
Technical support

Mgr. Pavel Semerád

Pavel Semerád
Other Staff | SISAL
Phone 95155 4300
Room S 400
Lab server administrator, AV accessories administrator

Mgr. Josef Šimůnek

Josef Šimůnek
Other Staff | SISAL
Phone 95155 4184
Room S 400
Lab management, Windows stations administrator

Bc. Tomáš Souček

Tomáš Souček
Other Staff | KSI

Mgr. Zorka Starčevičová

Zorka Starčevičová
Other Staff | CSI (IÚUK)
Phone 95155 4199
Room S 124

Marcel Svitalský

Marcel Svitalský
Other Staff | UFAL

Mgr. Tereza Vojtěchová

Tereza Vojtěchová
Other Staff | UFAL
Phone 95155 4289
Room S 412

External Members

Ing. Vojtěch Aschenbrenner

Vojtěch Aschenbrenner
External Member | D3S (KDSS)
Room S 205
Operating systems, computer networks, compilers, software performance

Bc. Edita Bromová

Edita Bromová
External Member | KSVI

RNDr. Jakub Daniel

Jakub Daniel
External Member | D3S (KDSS)
Phone 95155 4121
Software verification, program analysis

Bc. Viktor Dobrovolný

Viktor Dobrovolný
External Member | KSVI

Nikola Frollová

Nikola Frollová
External Member | KSVI

RNDr. Leo Galamboš, Ph.D.

Leo Galamboš
External Member | D3S (KDSS)
Phone 910 800 252
Internet of Things, platforms for big data, cybersecurity

Bc. Vladan Glončák

Vladan Glončák
External Member | SISAL

Bc. Jan Hadrava

Jan Hadrava
External Member | KAM
Phone 95155 4146
Room S 322
Computer science

PhDr. Petra Hoffmannová

Petra Hoffmannová
External Member | UFAL
Phone 95155 4297
Room S 158
Information retrieval

Bc. Martin Hykl

Martin Hykl
External Member | SISAL

Mgr. Amir Kamran

Amir Kamran
External Member | UFAL

Bc. Kateřina Koppová

Kateřina Koppová
External Member | KSVI

RNDr. Rudolf Kryl

Rudolf Kryl
External Member | KSVI
Phone 95155 4218
Room S 312

RNDr. Naděžda Krylová, CSc.

Naděžda Krylová
External Member | KAM
Phone 95155 4262
Room S 325
Computer science

Mgr. Daniel Lessner, Ph.D.

Daniel Lessner
External Member | KSVI
Computer science education, computational thinking

Mgr. Jan Musílek

Jan Musílek
External Member | SISAL
Phone 95155 4373
Computer science

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

Petr Pančoška
External Member | CSI (IÚUK)
Phone 95155 1268
Room S 324
Computer science

Bc. Pavel Pilař

Pavel Pilař
External Member | KSVI

Petra Plintová

Petra Plintová
External Member | KSVI

prof. Vojtěch Rödl

Vojtěch Rödl
External Member | CSI (IÚUK)
Room S 220

Ing. Alexandr Rosen, Ph.D.

Alexandr Rosen
External Member | UFAL

Bc. Václav Rozhoň

Václav Rozhoň
External Member | KAM
Computer science

Bc. David Šerý

David Šerý
External Member | KSVI

RNDr. Martin Šik

Martin Šik
External Member | KSVI
Phone 95155 4443
Room S 406

Mgr. Tomáš Skřivan

Tomáš Skřivan
External Member | KSVI

Bc. Aneta Šťastná

Aneta Šťastná
External Member | KAM

Bc. Ondřej Švec

Ondřej Švec
External Member | KSVI

Mgr. Jakub Svoboda

Jakub Svoboda
External Member | KAM
Computer science

RNDr. Tomáš Valla, Ph.D.

Tomáš Valla
External Member | CSI (IÚUK)
Phone 95155 4147
Room S 322

Mgr. Vojtěch Vorel

Vojtěch Vorel
External Member | KSVI

Ph.D. Students

Mariia Anisimova

Mariia Anisimova
Ph.D. Student | UFAL

Mgr. Jakub Arnold

Jakub Arnold
Ph.D. Student | UFAL
Deep learning, deep neural networks, machine learning, natural language processing

Mgr. Michal Auersperger

Michal Auersperger
Deep learning, natural language processing

Mgr. Štěpán Balcar

Štěpán Balcar
Ph.D. Student | KSI
Recommender systems, evolutionary algorithm

Mgr. Samuel Bartoš

Samuel Bartoš
Ph.D. Student | KTIML

Mgr. Martin Blicha

Martin Blicha
Ph.D. Student | D3S (KDSS)
Phone 95155 4121
Software verification, model checking, SAT, SMT

Mgr. Jan Bok

Jan Bok
Ph.D. Student | CSI (IÚUK)
Room S 508
Graph theory, combinatorics, algorithms, game theory, interval analysis

Denys Bulavka

Denys Bulavka
Ph.D. Student | KAM

RNDr. Přemysl Čech

Přemysl Čech
Ph.D. Student | KSI
Phone 95155 4260
Room S 208
Similarity search, similarity joins, big data, metric indexing structures

Mgr. Jakub Černý

Jakub Černý
Ph.D. Student | KAM

Mgr. Vojtěch Černý

Vojtěch Černý
Ph.D. Student | KSVI

Michal Čertík, M.Sc.

Michal Čertík
Ph.D. Student | CSI (IÚUK)
Room S 320

Mgr. Miloš Chaloupka

Miloš Chaloupka
Ph.D. Student | KSI
Phone 95155 4260
Room S 208
Linked Data, SPARQL-to-SQL translation, virtual RDF databases

Mgr. Miloš Chromý

Miloš Chromý
Ph.D. Student | KTIML
Phone 95155 4439
Room S 508
Boolean functions, knowledge representation and compilation, CNF encodings

Ing. Pavel Čontoš

Pavel Čontoš
Ph.D. Student | KSI

Debarati Das, Ph.D.

Debarati Das
Ph.D. Student | CSI (IÚUK)

Mgr. Marek Dobranský

Marek Dobranský
Ph.D. Student | KSI

Mgr. Vlastimil Dort

Vlastimil Dort
Ph.D. Student | D3S (KDSS)
Phone 95155 4235
Static program analysis, type systems

Mgr. Pavel Dvořák

Pavel Dvořák
Ph.D. Student | CSI (IÚUK)
Phone 95155 4433
Room S 508
Computational and communication complexity

Mgr. Tomáš Faltín

Tomáš Faltín
Distributed systems, parallel programming, Big Data

Mgr. Lukáš Folwarczný

Lukáš Folwarczný
Ph.D. Student | CSI (IÚUK)
Phone 222 090 767

Mgr. Elif Garajová

Elif Garajová
Ph.D. Student | KAM
Room S 508
Optimization, operations research, interval computation

Mgr. Jan Hamáček

Jan Hamáček
Ph.D. Student | KSVI

Mgr. Jaroslav Hančl

Jaroslav Hančl
Ph.D. Student | KAM
Phone 95155 4432
Room S 508
Computer science

RNDr. Jiří Helmich

Jiří Helmich
Ph.D. Student | KSI
Phone 95155 4260
Room S 208
Linked Data visualization pipeline discovery

Mgr. Ing. Karolína Hořeňovská

Karolína Hořeňovská
Ph.D. Student | UFAL
Room S 424
Language technologies, language data, lexicons, text processing, searching in language corpora

Mgr. Tomáš Hubík

Tomáš Hubík
Ph.D. Student | KTIML
System dynamics, business modeling

Mgr. Ing. Robert Husák

Robert Husák
Program analysis and verification, compilation of dynamic languages

RNDr. Radek Hušek

Radek Hušek
Ph.D. Student | CSI (IÚUK)
Phone 95155 4327
Room S 320

Mgr. Tomáš Iser

Tomáš Iser
Ph.D. Student | KSVI

Olajide Kolawole Ishola

Olajide Kolawole Ishola
Ph.D. Student | UFAL

Mgr. Tomáš Jakl

Tomáš Jakl
Ph.D. Student | KAM
Phone 95155 4434
Computer science

Bushra Jawaid

Bushra Jawaid
Ph.D. Student | UFAL

Mgr. Nikola Jedličková

Nikola Jedličková
Ph.D. Student | KAM
Computer science

Mgr. Adéla Kalužová

Adéla Kalužová
Ph.D. Student | UFAL

Ing. Zdeněk Kasner

Zdeněk Kasner
Ph.D. Student | UFAL

Mgr. Filip Kliber

Filip Kliber
Ph.D. Student | D3S (KDSS)
Phone 95155 4121
Room S 309
Programming, program analysis, compilers

Dipl.-Ing. Ivo Kondapaneni

Ivo Kondapaneni
Ph.D. Student | KSVI
Phone 95155 4443
Room S 126

Mgr. Karel Král

Karel Král
Ph.D. Student | CSI (IÚUK)
Phone 95155 4432
Room S 508
Computational complexity, theoretical cryptography

Matěj Kratochvíl

Matěj Kratochvíl
Ph.D. Student | UFAL

RNDr. Miroslav Kratochvíl

Miroslav Kratochvíl
Functional programming, compilers, bioinformatics

Mgr. Ema Krejčová

Ema Krejčová
Ph.D. Student | UFAL

Mgr. Tomáš Křen

Tomáš Křen
Ph.D. Student | KTIML
Phone 95155 4251

RNDr. Filip Krijt

Filip Krijt
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

Mgr. Vincent Kríž

Vincent Kríž
Ph.D. Student | UFAL
Phone 95155 4223
Room S 409
Computational linguistics, Linked Data, syntactic analysis and parsing

Mgr. Jan Oldřich Krůza

Jan Oldřich Krůza
Language corpora, speech processing

Mgr. David Kuboň

David Kuboň
Ph.D. Student | KSVI

Mgr. Ivana Kvapilíková

Ivana Kvapilíková
Machine translation, deep learning

Septina Dian Larasati

Septina Dian Larasati
Ph.D. Student | UFAL

Mgr. Dominik Macháček

Dominik Macháček
Machine translation, deep learning

Sonja Marković, M.A.

Sonja Marković
Ph.D. Student | UFAL
Room S 508
Language corpora, dependency syntax, universal dependencies

Ladislav Maršík

Ladislav Maršík
Music information retrieval, harmony analysis, web applications

RNDr. Tomáš Masařík

Tomáš Masařík
Ph.D. Student | KAM
Phone 95155 4294
Room S 320
Computer science

Nikita Mediankin

Nikita Mediankin
Ph.D. Student | UFAL

Mgr. Martin Mirbauer

Martin Mirbauer
Ph.D. Student | KSVI
Phone 95155 4442
Room S 126
Computer graphics, deep learning

Mgr. Matej Moravčík

Matej Moravčík
Ph.D. Student | KAM

Mgr. Josef Moudřík

Josef Moudřík
Neural networks, Monte-Carlo tree search

Sourabrata Mukherjee

Sourabrata Mukherjee
Ph.D. Student | UFAL

Dipl.-Ing. Thomas Klaus Nindel

Thomas Klaus Nindel
Ph.D. Student | KSVI
Phone 95155 4443
Room S 126

Mgr. Lukáš Ondráček

Lukáš Ondráček
Ph.D. Student | KTIML
Phone 95155 4251

Mgr. Michal Opler

Michal Opler
Ph.D. Student | CSI (IÚUK)
Permutations, computational complexity, graph theory

Mgr. Dvořák Pavel

Dvořák Pavel
Ph.D. Student | CSI (IÚUK)

Tobias Rittig

Tobias Rittig
Ph.D. Student | KSVI
Phone 95155 4442
Room S 126

Mgr. Vít Šefl

Vít Šefl
Ph.D. Student | KSVI

Mgr. Michaela Seifrtová

Michaela Seifrtová
Ph.D. Student | KAM
Phone 95155 4149
Room S 125
Computer science

Mgr. Jiří Šejnoha

Jiří Šejnoha
Ph.D. Student | KAM
Room S 320
Computer science

Shakeel Ahmad Sheikh

Shakeel Ahmad Sheikh
Ph.D. Student | UFAL

Ivana Sixtová

Ivana Sixtová
Ph.D. Student | UFAL

RNDr. Dominik Škoda

Dominik Škoda
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

Mgr. Michael Skotnica

Michael Skotnica
Ph.D. Student | KAM
Phone 95155 4294
Room S 320
Combinatorial group theory, algebraic topology, computational complexity

Mgr. Veronika Slívová

Veronika Slívová
Ph.D. Student | CSI (IÚUK)
Phone 95155 4432
Room S 508
Computational complexity, theoretical cryptography

Antonín Steinhauser

Antonín Steinhauser
Ph.D. Student | D3S (KDSS)
Security testing, vulnerability scanners

Mgr. Jakub Střelský

Jakub Střelský
Artificial intelligence, machine learning

Roman Sudarikov

Roman Sudarikov
Ph.D. Student | UFAL

Mgr. Jiří Švancara

Jiří Švancara
Ph.D. Student | KTIML
Phone 95155 4439
Room S 508
Multi-agent pathfinding, artificial intelligence, SAT

Mgr. Jana Syrovátková

Jana Syrovátková
Ph.D. Student | CSI (IÚUK)
Phone 95155 4435

Mgr. Otakar Trunda

Otakar Trunda
Ph.D. Student | KTIML
Phone 95155 4251
Room S 207

Mgr. Klára Vaníčková

Klára Vaníčková
Ph.D. Student | UFAL

Mgr. Jonáš Vidra

Jonáš Vidra
Computational linguistics, machine learning, derivational morphology, multilinguality

Mgr. Jiří Vinárek

Jiří Vinárek
Ph.D. Student | D3S (KDSS)
Phone 95155 4121
Software verification, model checking

Mgr. Miroslav Vodolán

Miroslav Vodolán
Ph.D. Student | UFAL

Mgr. Jindřich Vodrážka

Jindřich Vodrážka
Ph.D. Student | KTIML
Phone 95155 4185
Room S 426
Automated planning, knowledge modeling, robotics

Mgr. Mikuláš Zelinka

Mikuláš Zelinka
Ph.D. Student | KTIML

Mgr. Peter Zeman

Peter Zeman
Ph.D. Student | KAM
Phone 95155 4294
Room S 320
Algebraic and topological graph theory, permutation group theory, graph isomorphism problem