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

Tomáš Bureš
Professor | D3S
Member | Scientific Board
Phone 95155 4236
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

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

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

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

Zdeněk Dvořák
Professor | CSI
Member | Scientific Board
Phone 95155 4390
Room S 220
Graph coloring, structural and algorithmic graph theory

prof. RNDr. Jan Hajič, Dr.

Jan Hajič
Professor | UFAL
Member | Scientific Board
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. Milan Hladík, Ph.D.

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

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

Michal Koucký
Professor | CSI
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
Member | Scientific Board
Phone 95155 4234
Room S 226
Computer science

prof. RNDr. Martin Loebl, CSc.

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

prof. PhDr. Jarmila Panevová, DrSc.

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

prof. RNDr. Jaroslav Pokorný, CSc.

Jaroslav Pokorný
Database systems, query languages, data organization, NoSQL databases, Big Data, graph databases

prof. RNDr. Jiří Sgall, DrSc.

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

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

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

prof. Ing. Petr Tůma, Dr.

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

Professors Emeriti

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

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

prof. RNDr. Aleš Pultr, DrSc.

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

prof. RNDr. Karel Zimmermann, DrSc.

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

Visiting Professors

Associate Professors

doc. RNDr. Martin Balko, Ph.D.

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

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
Member | Academic Senate
Phone 95155 4216
Room N 208
Multimedia learning, educational games, educational multimedia, computing education, educational psychology, cognitive neuropsychology

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

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

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

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

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

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

doc. Mgr. Petr Gregor, Ph.D.

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

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

Petr Hnětynka
Associate Professor | D3S
Member | Academic Senate
Phone 95155 4143
Room S 212
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems

doc. RNDr. David Hoksza, Ph.D.

David Hoksza
Bioinformatics, cheminformatics, visualization

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. Mgr. Jan Hubička, Ph.D.

Jan Hubička
Associate Professor | KAM
Phone 95155 4390
Room S 223
Computer science

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

Vít Jelínek
Associate Professor | CSI
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. RNDr. Jan Kofroň, Ph.D.

Jan Kofroň
Associate Professor | D3S
Phone 95155 4285
Room S 309
Software verification, model checking

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. RNDr. Martin Kruliš, Ph.D.

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

doc. Mgr. Jan Kynčl, Ph.D.

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

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ý
Associate Professor | KSI
Phone 95155 4250
Room S 209
Semantic web, Linked Data, knowledge graphs, conceptual modeling

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

Pavel Parízek
Associate Professor | D3S
Phone 95155 4148
Room S 309
Software verification, program analysis

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
Phone 95155 4326
Room S 323
Graph coloring, homomorphisms, nowhere-zero flows, applications of probability in combinatorics

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., Ph.D.

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. Mgr. Barbora Vidová Hladká, Ph.D.

Barbora Vidová Hladká
Associate Professor | UFAL
Phone 95155 4223
Room S 407
Computational linguistics, treebanks, natural language processing

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

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

Ondřej Dušek
Assistant Professor | UFAL
Phone 95155 2955
Room N 233
Dialogue systems, natural language generation, chatbots, deep learning

RNDr. Jiří Fink, Ph.D.

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

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

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

RNDr. Jakub Klímek, Ph.D.

Jakub Klímek
Assistant Professor | KSI
Room S 209
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

Mgr. Martin Koutecký, Ph.D.

Martin Koutecký
Assistant Professor | CSI
Phone 95155 4460
Room S 326
Computer science

RNDr. David Mareček, Ph.D.

David Mareček
Assistant Professor | UFAL
Phone 95155 2956
Room N 235
Syntactic analysis and parsing, machine translation, multilinguality, deep neural networks, meaning representation

Irena Penev, Ph.D.

Irena Penev
Assistant Professor | CSI
Member | Academic Senate
Phone 95155 4459
Room S 323
Graph theory, graph algorithms

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

Mgr. Petr Škoda, Ph.D.

Petr Škoda
Linked Data, cheminformatics

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. Jiří Švancara, Ph.D.

Jiří Švancara
Assistant Professor | KTIML
Phone 95155 4313
Room S 206
Multi-agent pathfinding, artificial intelligence, SAT

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. Lenka Forstová

Lenka Forstová
Lecturer | KSVI
External Member | SISAL
Phone 95155 4110
Room S 400
Recodex and Select administrator

Mgr. Jakub Gemrot, Ph.D.

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

RNDr. Jiří Hana, Ph.D.

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

RNDr. Tomáš Holan, Ph.D.

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

RNDr. Martin Holub, Ph.D.

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

RNDr. Jan Hric

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

Mgr. Pavel Ježek, Ph.D.

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

RNDr. Michal Kopecký, Ph.D.

Michal Kopecký
Relational databases, recommendation, semantization

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

Mgr. Martin Mareš, Ph.D.

Martin Mareš
Lecturer | KAM
Phone 95155 4221
Room S 322
Algorithms and 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
Lecturer | KTIML
Phone 95155 2940
Rooms S 124, N 237
Mobile robotics, autonomous vehicles, Internet of Things

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

Ondřej Pangrác
Lecturer | CSI
Member | Academic Senate
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

RNDr. Martin Pergel, Ph.D.

Martin Pergel
Lecturer | KSVI
Phone 95155 4194
Room S 404
Complexity theory, graphs with geometric representation, algorithms and 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. Jiří Šejnoha

Jiří Šejnoha
Lecturer | KSVI
Rooms S 320, N 211
Computer science

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

Mgr. Petra Barančíková

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

Mgr. Silvie Cinková, Ph.D.

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

Mgr. Eva Fučíková

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

Mgr. Elif Garajová

Elif Garajová
Researcher | KAM
Room S 508
Optimization, operations research, interval computation

Andrew Goodall, D.Phil.

Andrew Goodall
Researcher | CSI
Phone 95155 2662
Room S 125
Algebraic graph theory, combinatorics, topological graph theory

doc. Ing. et Ing. David Hartman, Ph.D. et Ph.D.

David Hartman
Algebraic graph theory, combinatorics, complex networks, optimization, interval arithmetics

Mgr. Jindřich Helcl, Ph.D.

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

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

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

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

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

Ida Kantor, M.Sc., Ph.D.

Ida Kantor
Researcher | CSI
Rooms S 326, S 125
Combinatorics, graph theory, finite structures

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

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

PhDr. Jiří Kocián, Ph.D.

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

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

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

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. Tomáš Musil

Tomáš Musil
Researcher | UFAL
Phone 95155 2957
Room N 235
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 2954
Room N 233
Computational linguistics, natural language processing, machine learning, text processing, machine translation, coreference, multilinguality

RNDr. Pavel Paták, Ph.D.

Pavel Paták
Combinatorial topology and geometry

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
Researcher | UFAL
Phone 95155 2957
Room N 235
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

Felix Schröder, M.Sc.

Felix Schröder
Researcher | KAM
Phone 95155 4375
Room S 324

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

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

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

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š, Ph.D.

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

Mgr. Jindřich Vodrážka

Jindřich Vodrážka
Researcher | UFAL
Phone 95155 4185
Room S 426
Automated planning, knowledge modeling, robotics

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

Mgr. Jiří Calda

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

PhDr. Mgr. Iva Doušová

Iva Doušová
Other Staff | UFAL
Phone 95155 4278

Ing. Veronika Fišerová

Veronika Fišerová
Other Staff | KSVI
External Member | UFAL
Phone 95155 2922
Room N 214

Stanislava Gráf, LL.M.

Stanislava Gráf
Other Staff | UFAL
Phone 95155 4366
Room S 412

Mgr. Radmila Hacklová

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

Pravoslava Havelková, DiS.

Pravoslava Havelková
Other Staff | KAM
Phone 95155 4455
Rooms M 154, S 155

Kateřina Hegrová

Kateřina Hegrová
Other Staff | KSVI
Phone 95155 4264
Room S 402

Ing. Martin Himmel

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

Petr Kos

Petr Kos
Other Staff | SISAL
Phone 95155 2920

Hana Kubištová

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

Dan Lukeš

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

Ing. Jan Melich

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

Petra Milštainová

Petra Milštainová
Other Staff | CSI
Phone 95155 4324
Room S 222

Eva Mládková

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

Petra Novotná

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

RNDr. Helena Nyklová

Helena Nyklová
Other Staff | KAM
External Member | Department of Atmospheric Physics
Phone 95155 4290
Room S 226
Computer science

Petra Příhodová

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

Mgr. Eva Šauerová, M.Sc.

Eva Šauerová
Other Staff | CSI
Phone 95155 4199
Room S 155

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

Mgr. Pavel Taufer

Pavel Taufer
Deep learning, machine learning, neural networks

Ing. Markéta Tomková

Markéta Tomková
Other Staff | KSVI
Phone 95155 4199
Room S 124

Mgr. Tereza Vojtěchová

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

External Members

RNDr. Ing. Vojtěch Aschenbrenner

Vojtěch Aschenbrenner
Operating systems, computer networks, compilers, software performance

RNDr. Štěpán Balcar

Štěpán Balcar
External Member | Department of Chemical Physics and Optics
Ph.D. Student | KSI
Recommender systems, evolutionary algorithm

RNDr. Jan Blažek, Ph.D.

Jan Blažek
External Member | KSVI

Bc. David Čepelík

David Čepelík
External Member | D3S

Jan Černohorský

Jan Černohorský
External Member | KAM
Phone 95155 4146
Room S 322

RNDr. Jakub Daniel

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

Bc. Tomáš Domes

Tomáš Domes
External Member | KAM

Bc. Vladan Glončák

Vladan Glončák
External Member | SISAL

Bc. Jan Hadrava

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

Bc. Martin Hykl

Martin Hykl
External Member | SISAL

Vojtěch Káně

Vojtěch Káně
External Member | KAM
Phone 95155 4146
Room S 322

RNDr. Naděžda Krylová, CSc.

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

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

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

Mgr. František Mejzlík

František Mejzlík
External Member | KSI

Mgr. Jan Musílek

Jan Musílek
External Member | SISAL
Computer science

Bc. Radek Olšák

Radek Olšák
External Member | KAM

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

Petr Pančoška
External Member | CSI
Phone 95155 1268
Room S 324
Computer science

Mgr. Václav Pech

Václav Pech
External Member | D3S

Martin Plátek, CSc.

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

Mgr. Lenka Ptáčková, Ph.D.

Lenka Ptáčková
External Member | KAM
Phone 95155 4375
Room S 324

prof. Vojtěch Rödl

Vojtěch Rödl
External Member | CSI
Room S 220

Ing. Alexandr Rosen, Ph.D.

Alexandr Rosen
External Member | UFAL

Ing. František Šebek

František Šebek
External Member | SISAL

Pavel Šimerda

Pavel Šimerda
External Member | D3S

Mgr. Michael Skotnica

Michael Skotnica
External Member | KAM
Phone 95155 4294
Room S 320
Combinatorial group theory, algebraic topology, computational complexity

Mgr. Vojtěch Tázlar

Vojtěch Tázlar
External Member | KSVI
Room S 406

prof. RNDr. Milan Vlach, DrSc.

Milan Vlach
External Member | KTIML
Phone 95155 4340
Room S 303

Ph.D. Students

Mariia Anisimova

Mariia Anisimova
Ph.D. Student | UFAL
Room S 424

Mgr. Michal Auersperger

Michal Auersperger
Deep learning, natural language processing

Luca Baroni, M.Sc.

Luca Baroni
Ph.D. Student | KSVI
Room S 312

Mgr. Jáchym Bártík

Jáchym Bártík
Ph.D. Student | KSI
Phone 735 716 786

Mgr. Martin Blicha, Ph.D.

Martin Blicha
Ph.D. Student | D3S
Phone 95155 4285
Software verification, model checking, SAT, SMT

Rémy Cagnol, M.Sc.

Rémy Cagnol
Ph.D. Student | KSVI
Room S 312

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. Petr Chmel

Petr Chmel
Ph.D. Student | CSI
Room S 320

Adam Dingle, M.Sc.

Adam Dingle
Ph.D. Student | KSVI
Phone 95155 4139
Rooms S 405, N 211

Mgr. Vlastimil Dort

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

Mgr. Ing. Kira Droganova

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

Mgr. Lukáš Folwarczný

Lukáš Folwarczný
Ph.D. Student | CSI
Phone 222 090 767

Mgr. Jiří Frantál

Jiří Frantál
Ph.D. Student | KSVI

Mgr. Federica Gamba

Federica Gamba
Ph.D. Student | UFAL
Room S 409

Mgr. Matúš Goliaš

Matúš Goliaš
Ph.D. Student | KSVI
Room S 406

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

Mgr. Bushra Jawaid

Bushra Jawaid
Ph.D. Student | UFAL

Mgr. Nikola Jedličková

Nikola Jedličková
Computer science

Mgr. Jan Jelínek

Jan Jelínek
Ph.D. Student | KSI
Phone 95155 4260
Room S 208

Ing. Josef Jon

Josef Jon
Ph.D. Student | UFAL
Room S 425

Mgr. Adéla Kalužová

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

Mgr. Tomáš Karella

Tomáš Karella
Ph.D. Student | KSVI

Ing. Zdeněk Kasner

Zdeněk Kasner
Ph.D. Student | UFAL
Phone 95155 2953
Room N 231

Mgr. Filip Kliber

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

Mgr. Jaroslav Knotek

Jaroslav Knotek
Ph.D. Student | KSVI

Ing. Monika Kolářová

Monika Kolářová
Ph.D. Student | KSVI
Phone 95155 4452
Room S 406

Mgr. Adéla Kostelecká

Adéla Kostelecká
Ph.D. Student | KSVI

RNDr. Filip Krijt

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

Mgr. Ivana Kvapilíková, Ph.D.

Ivana Kvapilíková
Machine translation, deep learning

Mgr. Matej Lieskovský

Matej Lieskovský
Ph.D. Student | CSI
Computer science

Ing. Tomasz Limisiewicz

Tomasz Limisiewicz
Ph.D. Student | UFAL
Phone 95155 2956
Room N 235

Mgr. Dominik Macháček

Dominik Macháček
Machine translation, deep learning

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
Room S 320

Mgr. Josef Moudřík

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

Sourabrata Mukherjee

Sourabrata Mukherjee
Ph.D. Student | UFAL
Phone 95155 2952
Room N 231

Dipl.-Ing. Thomas Klaus Nindel, Ph.D.

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

Mgr. Peter Polák

Peter Polák
Ph.D. Student | UFAL
Room S 508

Ing. Tibor Rózsa

Tibor Rózsa
Ph.D. Student | KSVI
Room S 312

RNDr. Dominik Škoda

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

Mgr. Jan Soukup

Jan Soukup
Ph.D. Student | KAM
Room S 320

Mgr. Emil Svoboda

Emil Svoboda
Ph.D. Student | UFAL
Room S 409

Mgr. Jana Syrovátková

Jana Syrovátková
Ph.D. Student | CSI
Phone 95155 4435

Mgr. Jonáš Vidra

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

Mgr. Tung Anh Vu

Tung Anh Vu
Ph.D. Student | CSI
Phone 95155 4373
Room S 322

Mgr. Anna Yaghobová

Anna Yaghobová
Ph.D. Student | KSVI
Member | Academic Senate
Phone 95155 2949
Room N 208

Hadi Zamani, M.Sc.

Hadi Zamani
Ph.D. Student | CSI
Room S 508

Jialu Zhu

Jialu Zhu
Ph.D. Student | CSI
Room S 320