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. 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. 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
Visiting Professors
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. 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. Martin Tancer, Ph.D.
Computer science
doc. Hans Raj Tiwary, M.Sc., Ph.D.
Computer science
doc. RNDr. Pavel Valtr, Dr.
Computer science, combinatorial geometry
doc. Mgr. Barbora Vidová Hladká, Ph.D.
Computational linguistics, treebanks, natural language processing
doc. Ing. Zdeněk Žabokrtský, Ph.D.
Treebanks, derivational morphology, dependency syntax, language data, natural language processing
Assistant Professors
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
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. Martin Pilát, Ph.D.
Evolutionary algorithms, machine learning, multi-objective optimization, deep learning, reinforcement learning
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
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
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. 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. Silvie Cinková, Ph.D.
Text processing, language data, searching in language corpora
Andrew Goodall, D.Phil.
Algebraic graph theory, combinatorics, topological graph theory
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
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
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
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. 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
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
Mgr. Lenka Forstová
Recodex and Select administrator
RNDr. Helena Nyklová
Computer science
External Members
RNDr. Ing. Vojtěch Aschenbrenner
Operating systems, computer networks, compilers, software performance
Mgr. Daniel Lessner, Ph.D.
External Member | KSVI
Computer science education, computational thinking
Martin Plátek, CSc.
Automata theory, mathematical linguistics, restarting automata
Ph.D. Students
Mgr. Miloš Chaloupka
Linked Data, SPARQL-to-SQL translation, virtual RDF databases
Mgr. Filip Kliber
Programming, program analysis, compilers
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. 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. Jonáš Vidra
Computational linguistics, machine learning, derivational morphology, multilinguality
