Departments
Department of Theoretical Computer Science and Mathematical Logic
The Department of Theoretical Computer Science and Mathematical Logic is focused on research in areas of automated planning and scheduling, constraint satisfaction, knowledge representation and reasoning, Boolean functions, robotics, data mining, machine learning, neural networks, nature-inspired computations, smart grids, and parallel and distributed computing. The research activities involve both theoretical aspects and practical applications.
The department is in close research contact with local partners as well as the international ones and is responsible for different courses for both bachelor and master students.
Academic Staff
- Professors
- Associate Professors
- Assistant Professors
- Lecturers
prof. RNDr. Roman Barták, Ph.D.
Professor | KTIML
Phone 95155 4242
Room S 206
Artificial Intelligence, planning and scheduling, constraint satisfaction
prof. RNDr. Ondřej Čepek, Ph.D.
Professor | KTIML
Phone 95155 4246
Room S 302
Boolean functions, knowledge representation and compilation, CNF encodings
doc. Mgr. Petr Gregor, Ph.D.
Associate Professor | KTIML
Phone 95155 4140
Room S 305
Graph theory, combinatorial algorithms, hypercubes
doc. RNDr. Iveta Mrázová, CSc.
Associate Professor | KTIML
Phone 95155 4123
Room S 304
Neural networks, data mining
doc. Mgr. Martin Pilát, Ph.D.
Associate Professor | KTIML
Phone 95155 4243
Room S 305
Evolutionary algorithms, machine learning, multi-objective optimization, deep learning, reinforcement learning
RNDr. Jiří Švancara, Ph.D.
Assistant Professor | KTIML
Phone 95155 4313
Room S 206
Multi-agent pathfinding, artificial intelligence, SAT
RNDr. Jiří Fink, Ph.D.
Lecturer | KTIML
Phone 95155 4425
Room S 305
Combinatorial optimization, artificial intelligence, planning and scheduling
RNDr. Jan Hric
Lecturer | KTIML
External Member | Academic Senate
Phone 95155 4283
Room S 302
Logic programming, functional programming, artificial intelligence
RNDr. Petr Kučera, Ph.D.
Lecturer | KTIML
Phone 95155 4138
Room S 304
SAT solvers and their applications, knowledge compilation, constraint encodings for SAT
RNDr. David Obdržálek, Ph.D.
Lecturer | KTIML
Phone 95155 2940
Rooms S 124, N 237
Mobile robotics, autonomous vehicles, Internet of Things
Mgr. Marta Vomlelová, Ph.D.
Lecturer | KTIML
Phone 95155 4248
Room S 303
Probabilistic graphical models, machine learning
Researchers
External Members
doc. RNDr. Antonín Kučera, CSc.
External Member | KTIML
Phone 95155 4244
Room S 303
Computability, algorithmic randomness
Martin Plátek, CSc.
External Member | KTIML
Phone 95155 4142
Room S 206
Automata theory, mathematical linguistics, restarting automata
Other Staff
Ph.D. Students
RNDr. Kateřina Macková
Ph.D. Student | KTIML
Mgr. Petra Vysušilová
Ph.D. Student | KTIML