People
Search
- All people
- Professors
- Associate professors
- Assistant professors
- Lecturers
- Researchers
- External members
- Other staff
- Ph.D. students
No matching employees were found
Professors
prof. RNDr. Roman Barták, Ph.D.
Artificial Intelligence, planning and scheduling, constraint satisfaction
prof. RNDr. Tomáš Bureš, Ph.D.
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
prof. RNDr. Ondřej Čepek, Ph.D.
Boolean functions, knowledge representation and compilation, CNF encodings
prof. Mgr. Zdeněk Dvořák, Ph.D.
Graph coloring, structural and algorithmic graph theory
prof. RNDr. Jan Hajič, Dr.
Language corpora, lexicons, semantics, machine translation, natural language processing
prof. PhDr. Eva Hajičová, DrSc.
Language corpora, syntax, semantics, information structure, discourse analysis
prof. Mgr. Milan Hladík, Ph.D.
Optimization, linear algebra, interval computation
prof. Mgr. Michal Koucký, Ph.D.
Theory of computing, computational complexity, algorithms and data structures
prof. RNDr. Jan Kratochvíl, CSc.
Computer science
prof. RNDr. Martin Loebl, CSc.
Discrete mathematics, algorithms and complexity, optimization
prof. PhDr. Jarmila Panevová, DrSc.
Morphology, syntax, valency, tectogrammatical representation, coreference
prof. RNDr. Jaroslav Pokorný, CSc.
Database systems, query languages, data organization, NoSQL databases, Big Data, graph databases
prof. RNDr. Jiří Sgall, DrSc.
Theory of algorithms, online algorithms, approximation algorithms, scheduling, computational complexity
prof. RNDr. Tomáš Skopal, Ph.D.
Similarity search, multimedia retrieval, database systems, unstructured data
prof. Ing. Petr Tůma, Dr.
Software performance, measurement methodologies, performance engineering
prof. RNDr. Peter Vojtáš, DrSc.
Modeling customer preferences, dynamic web semantization, preferential Datalog, Galois-Tukey connection/reductions
Professors Emeriti
prof. Ing. František Plášil, DrSc.
Software architectures, self-adaptive systems, formal methods
prof. RNDr. Karel Zimmermann, DrSc.
Operations research, optimization
Visiting Professors
prof. Václav Chvátal, Ph.D.
Visiting Professor | KAM
Room S 220
Associate Professors
doc. RNDr. Martin Balko, Ph.D.
Graph theory, combinatorics, Ramsey theory, combinatorial geometry
doc. RNDr. Ondřej Bojar, Ph.D.
Machine translation, meaning representation, deep learning, machine learning, multilinguality
doc. Mgr. Cyril Brom, Ph.D.
Multimedia learning, educational games, educational multimedia, computing education, educational psychology, cognitive neuropsychology
doc. Ing. Lubomír Bulej, Ph.D.
Dynamic program analysis, software performance evaluation and testing
doc. RNDr. Tomáš Dvořák, CSc.
Discrete mathematics, algorithms and data structures
doc. RNDr. Jiří Fiala, Ph.D.
Graph algorithms, computational complexity, graph classes
doc. Mgr. Petr Gregor, Ph.D.
Graph theory, combinatorial algorithms, hypercubes
doc. RNDr. Petr Hnětynka, Ph.D.
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
doc. RNDr. David Hoksza, Ph.D.
Associate Professor | KSI
Room S 202
Bioinformatics, cheminformatics, visualization
doc. RNDr. Irena Holubová, Ph.D.
NoSQL databases, multi-model databases, evolution management
doc. RNDr. Vít Jelínek, Ph.D.
Combinatorics, discrete geometry, graph theory
doc. RNDr. Martin Klazar, Dr.
Enumerative (and extremal) combinatorics, number theory
doc. RNDr. Jan Kofroň, Ph.D.
Software verification, model checking
doc. Mgr. Petr Kolman, Ph.D.
Theory of algorithms, approximation algorithms, graph theory, optimization
doc. RNDr. Martin Kruliš, Ph.D.
Parallel programming and performance optimizations, web technologies, data analysis and machine learning, similarity search
doc. RNDr. Vladislav Kuboň, Ph.D.
doc. Mgr. Jan Kynčl, Ph.D.
Discrete geometry, combinatorics, graph drawing
doc. RNDr. Markéta Lopatková, Ph.D.
Computational linguistics, treebanks, dependency syntax, valency, lexical semantics
doc. RNDr. Iveta Mrázová, CSc.
Neural networks, data mining
doc. Mgr. Martin Nečaský, Ph.D.
Semantic web, Linked Data, knowledge graphs, conceptual modeling
doc. RNDr. Pavel Parízek, Ph.D.
Software verification, program analysis
doc. RNDr. Pavel Pecina, Ph.D.
Computational linguistics, natural language processing, machine translation, information retrieval, multimodality
doc. Mgr. Robert Šámal, Ph.D.
Graph coloring, homomorphisms, nowhere-zero flows, applications of probability in combinatorics
doc. RNDr. Elena Šikudová, Ph.D.
doc. RNDr. Martin Tancer, Ph.D.
Computer science
doc. Hans Raj Tiwary, M.Sc., Ph.D.
Computer science
doc. RNDr. Pavel Töpfer, CSc.
doc. RNDr. Pavel Valtr, Dr.
Computer science, combinatorial geometry
doc. Mgr. Barbora Vidová Hladká, Ph.D.
Computational linguistics, treebanks, natural language processing
doc. Alexander Wilkie, Dr.
doc. Ing. Zdeněk Žabokrtský, Ph.D.
Treebanks, derivational morphology, dependency syntax, language data, natural language processing
Assistant Professors
RNDr. Jakub Bulín, Ph.D.
Mgr. et Mgr. Ondřej Dušek, Ph.D.
Dialogue systems, natural language generation, chatbots, deep learning
doc. Andreas Emil Feldmann, Dr.
Parameterized approximation algorithms, network design, metric embeddings
RNDr. Jiří Fink, Ph.D.
Combinatorial optimization, artificial intelligence, planning and scheduling
Mgr. Pavel Hubáček, Ph.D.
Cryptography, computational complexity, theory of computation
RNDr. Jakub Klímek, Ph.D.
Semantic web, Linked Data, web services, web re-decentralization
Mgr. Tereza Klimošová, Ph.D.
Graph theory, combinatorics
RNDr. David Mareček, Ph.D.
Syntactic analysis and parsing, machine translation, multilinguality, deep neural networks, meaning representation
Irena Penev, Ph.D.
Graph theory, graph algorithms
Mgr. Ladislav Peška, Ph.D.
Assistant Professor | KSI
Room S 208
Recommender systems, preference learning, information retrieval, applied machine learning
Mgr. Tomáš Petříček, Ph.D.
Assistant Professor | D3S
Room S 309
Mgr. Martin Pilát, Ph.D.
Evolutionary algorithms, machine learning, multi-objective optimization, deep learning, reinforcement learning
Mgr. Martin Schmid, Ph.D.
Assistant Professor | KAM
Room S 325
RNDr. Milan Straka, Ph.D.
Deep learning, natural language processing, morphological analysis and tagging, syntactic analysis and parsing, universal dependencies
RNDr. Jiří Švancara, Ph.D.
Multi-agent pathfinding, artificial intelligence, SAT
RNDr. Martin Svoboda, Ph.D.
Assistant Professor | KSI
Room S 209
NoSQL databases, query languages, influence maximization, regular tree grammars, Linked Data
Mgr. Pavel Veselý, Ph.D.
Lecturers
RNDr. David Bednárek, Ph.D.
Compilers, high-performance computing, programming and meta-programming in C++
Mgr. Jakub Gemrot, Ph.D.
Game development, game artificial intelligence, computational creativity, game design
RNDr. Jiří Hana, Ph.D.
Natural language processing, natural language generation, morphology, universal dependencies
RNDr. Tomáš Holan, Ph.D.
Programming, technology-enhanced learning, board/card games artificial intelligence
RNDr. Jan Hric
Logic programming, functional programming, artificial intelligence
RNDr. Michal Kopecký, Ph.D.
Relational databases, recommendation, semantization
RNDr. Petr Kučera, Ph.D.
SAT solvers and their applications, knowledge compilation, constraint encodings for SAT
Mgr. Martin Mareš, Ph.D.
Algorithms and data structures
RNDr. František Mráz, CSc.
Automata theory, formal languages, machine learning, bioinformatics
RNDr. David Obdržálek, Ph.D.
Mobile robotics, autonomous vehicles, Internet of Things
RNDr. Ondřej Pangrác, Ph.D.
Graph theory, graph algorithms, matroid theory
RNDr. Josef Pelikán
Computer graphics, augmented reality, virtual reality, GPU programming
RNDr. Martin Pergel, Ph.D.
Complexity theory, graphs with geometric representation, algorithms and programming
Mgr. Nino Peterek, Ph.D.
Computational linguistics, speech processing, language corpora, multilinguality, multimodality
Mgr. Marta Vomlelová, Ph.D.
Probabilistic graphical models, machine learning
RNDr. Jakub Yaghob, Ph.D.
Parallel/distributed/high-performance computing, compilers, Big Data processing, C++ programming
RNDr. Filip Zavoral, Ph.D.
Software development, C++, distributed systems, data processing
Researchers
Mgr. Petra Barančíková
Machine learning, natural language processing
Mgr. Martin Blicha, Ph.D.
Software verification, model checking, SAT, SMT
RNDr. David Chodounský, Ph.D.
Computer science, set theory, forcing
Mgr. Silvie Cinková, Ph.D.
Text processing, language data, searching in language corpora
Mgr. Elif Garajová
Optimization, operations research, interval computation
Andrew Goodall, D.Phil.
Algebraic graph theory, combinatorics, topological graph theory
Mgr. Jana Hamrlová, Ph.D.
Ing. David Hartman, Ph.D.
Algebraic graph theory, combinatorics, complex networks, optimization, interval arithmetics
Mgr. Jindřich Helcl, Ph.D.
Machine translation, deep learning, natural language processing
RNDr. Jaroslava Hlaváčová, Ph.D.
Morphology, morphological analysis and tagging, language corpora
RNDr. Martin Holub, Ph.D.
Natural language processing, lexical semantics, multiword expressions, lexicons, language corpora, multilinguality
Mgr. Vojtěch Horký, Ph.D.
Software performance, automated performance testing, software performance documentation
Ida Kantor, M.Sc., Ph.D.
Combinatorics, graph theory, finite structures
Mgr. Václava Kettnerová, Ph.D.
Dependency syntax, valency, lexicons, lexical semantics, multiword expressions
PhDr. Jiří Kocián, Ph.D.
Language data, speech processing, semantics, discourse analysis, multimodality
Mgr. Veronika Kolářová, Ph.D.
Dependency syntax, treebanks, valency, lexicons, lexical semantics
Mgr. Jindřich Libovický, Ph.D.
Machine translation, deep learning, multimodality
Mgr. et Mgr. Marie Mikulová, Ph.D.
Computational linguistics, treebanks, morphology, syntax, tectogrammatical representation
RNDr. Jiří Mírovský, Ph.D.
Discourse analysis, searching in language corpora, lexicons, treebanks
Mgr. Tomáš Musil
Natural language processing, deep neural networks, machine learning, machine translation, meaning representation
Mgr. Anna Nedoluzhko, Ph.D.
Language corpora, lexical semantics, coreference, semantics, discourse analysis, multilinguality
Mgr. Michal Novák, Ph.D.
Computational linguistics, natural language processing, machine learning, text processing, machine translation, coreference, multilinguality
RNDr. Pavel Paták, Ph.D.
Combinatorial topology and geometry
prof. Patrice Pognan
Natural language processing, Czech historical phonology, morphology, syntax, West Slavic languages, Berber
Mgr. Lucie Poláková, Ph.D.
Discourse analysis, coreference, text processing, language corpora, lexicons
Mgr. Martin Popel, Ph.D.
Machine translation, deep learning, universal dependencies, searching in language corpora, natural language processing
Mgr. Rudolf Rosa, Ph.D.
Multilinguality, text processing, morphological analysis and tagging, syntactic analysis and parsing, deep neural networks
PhDr. Kateřina Rysová, Ph.D.
Computational linguistics, language corpora, discourse analysis, information structure, dependency syntax
PhDr. Magdaléna Rysová, Ph.D.
Computational linguistics, language corpora, discourse analysis, lexicons, coreference
Mgr. Magda Ševčíková, Ph.D.
Computational linguistics, derivational morphology, word-formation, dependency syntax, treebanks
Mgr. Barbora Štěpánková, Ph.D.
Researcher | UFAL
Room S 407
Morphology, syntax, lexical semantics, information structure
RNDr. Jana Straková, Ph.D.
Natural language processing, deep learning, text processing, morphological analysis and tagging, syntactic analysis and parsing, information retrieval
Mgr. Pavel Straňák, Ph.D.
Mgr. Pavlína Synková, Ph.D.
Discourse analysis, morphology, syntax, lexicons, language corpora
PhDr. Zdeňka Urešová, Ph.D.
Treebanks, lexicons, lexical semantics, valency, tectogrammatical representation
Mgr. Dušan Variš, Ph.D.
Natural language processing, deep learning, machine translation
Mgr. Jindřich Vodrážka
Automated planning, knowledge modeling, robotics
RNDr. Daniel Zeman, Ph.D.
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.
Treebanks, syntax, discourse analysis, information structure
Other Staff
RNDr. Libor Forst
Mgr. Lenka Forstová
Recodex and Select administrator
Mgr. Milan Fučík
Ing. Ivan Heráň
Ing. Martin Himmel
Technical support
Dan Lukeš
Central network services administrator
RNDr. Helena Nyklová
Computer science
Ing. František Šebek
Technical support
Mgr. Pavel Semerád
Lab server administrator, AV accessories administrator
Mgr. Josef Šimůnek
Lab management, Windows stations administrator
Mgr. Pavel Taufer
Deep learning, machine learning, neural networks
External Members
RNDr. Ing. Vojtěch Aschenbrenner
Operating systems, computer networks, compilers, software performance
RNDr. Štěpán Balcar
Recommender systems, evolutionary algorithm
RNDr. Petr Božovský, CSc.
Neural networks
RNDr. Jakub Daniel
Software verification, program analysis
RNDr. Rudolf Kryl
RNDr. Naděžda Krylová, CSc.
Computer science
doc. RNDr. Antonín Kučera, CSc.
Computability, algorithmic randomness
Mgr. Daniel Lessner, Ph.D.
External Member | KSVI
Computer science education, computational thinking
Ing. Tomáš Mikolov, Ph.D.
doc. RNDr. Josef Mlček, CSc.
Mgr. Lukáš Ondráček
External Member | KTIML
Phone 95155 4251
prof. RNDr. Petr Pančoška, CSc.
Computer science
Martin Plátek, CSc.
Automata theory, mathematical linguistics, restarting automata
Ph.D. Students
Sunit Bhattacharya
Ph.D. Student | UFAL
Phone 95155 4461
Mgr. Miloš Chaloupka
Linked Data, SPARQL-to-SQL translation, virtual RDF databases
Adam Dingle, M.Sc.
Mgr. Vlastimil Dort
Static program analysis, type systems
Mgr. Tomáš Faltín
Distributed systems, parallel programming, Big Data
Mgr. Ing. Robert Husák
Program analysis and verification, compilation of dynamic languages
Mgr. Filip Kliber
Programming, program analysis, compilers
RNDr. Matěj Konečný
Computer science
RNDr. Filip Krijt
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
Mgr. Ivana Kvapilíková
Machine translation, deep learning
Mgr. Lukáš Kyjánek
Computational linguistics, derivational morphology, word-formation, multilinguality
Mgr. Dominik Macháček
Machine translation, deep learning
Sonja Marković, M.A.
Language corpora, dependency syntax, universal dependencies
Mgr. Ondřej Mička
Mgr. Martin Mirbauer
Computer graphics, deep learning
RNDr. Dominik Škoda
Dynamic software architectures, self-adaptive systems, smart cyber-physical systems
Mgr. Michael Skotnica
Combinatorial group theory, algebraic topology, computational complexity
Mgr. David Sychrovský
Ph.D. Student | KAM
Room S 320
Mgr. Jonáš Vidra
Computational linguistics, machine learning, derivational morphology, multilinguality