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. 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. 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. Zdeněk Žabokrtský, Ph.D.
Treebanks, derivational morphology, dependency syntax, language data, natural language processing
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. Martin Pilát, Ph.D.
Evolutionary algorithms, machine learning, multi-objective optimization, deep learning, reinforcement learning
doc. Mgr. Robert Šámal, Ph.D.
Graph coloring, homomorphisms, nowhere-zero flows, applications of probability in combinatorics
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
Assistant Professors
Mgr. et Mgr. Ondřej Dušek, Ph.D.
Dialogue systems, natural language generation, chatbots, deep learning
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
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
Lecturers
RNDr. David Bednárek, Ph.D.
Compilers, high-performance computing, programming and meta-programming in C++
Mgr. Lenka Forstová
Recodex and Select administrator
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. Martin Holub, Ph.D.
Natural language processing, lexical semantics, multiword expressions, lexicons, language corpora, multilinguality
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
RNDr. Martin Svoboda, Ph.D.
NoSQL databases, query languages, influence maximization, regular tree grammars, Linked Data
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
Andrew Goodall, D.Phil.
Algebraic graph theory, combinatorics, topological graph theory
doc. Ing. et Ing. David Hartman, Ph.D. et 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
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. Ivana Kvapilíková, Ph.D.
Machine translation, deep learning
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
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
doc. 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. Helena Nyklová
Computer science
External Members
RNDr. Ing. Vojtěch Aschenbrenner
Operating systems, computer networks, compilers, software performance
RNDr. Vojtěch Hanzal
External Member | Laboratory of General Physics Education
External Member | SISAL
Phone 95155 1365
Rooms V 153 (211a), M -189, M 068
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. Ing. Kira Droganova
Computational linguistics, treebanks, language data, syntactic analysis and parsing, universal dependencies
Mgr. Filip Kliber
Programming, program analysis, compilers
Mgr. Martin Mirbauer
Computer graphics, deep learning
