Department of Theoretical Computer Science and Mathematical Logic

http://ktiml.mff.cuni.cz/

Vice-Head of Department

Roman Barták

prof. RNDr. Roman Barták, Ph.D.

Scientific Secretary

Jan Hric

RNDr. Jan Hric

Secretary

Petra Novotná

Petra Novotná

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
Roman Barták
Phone 95155 4242
Room S 206
Artificial Intelligence, planning and scheduling, constraint satisfaction

prof. RNDr. Milan Vlach, DrSc.

Professor | KTIML
Milan Vlach
Phone 95155 4340
Room S 303

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

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

doc. Mgr. Petr Gregor, Ph.D.

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

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

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

doc. RNDr. Iveta Mrázová, CSc.

Associate Professor | KTIML
Iveta Mrázová
Phone 95155 4123
Room S 304
Neural networks, data mining

RNDr. Jiří Fink, Ph.D.

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

Mgr. Martin Pilát, Ph.D.

Assistant Professor | KTIML
Martin Pilát
Phone 95155 4243
Room S 305
Evolutionary algorithms, machine learning, multi-objective optimization, deep learning, reinforcement learning

RNDr. Jan Hric

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

RNDr. Petr Kučera, Ph.D.

Lecturer | KTIML
Petr Kučera
Phone 95155 4138
Room S 304
SAT solvers and their applications, knowledge compilation, constraint encodings for SAT

Mgr. Vladan Majerech, Dr.

Lecturer | KTIML
Vladan Majerech
Phone 95155 4427
Room S 302
Data structures

RNDr. David Obdržálek, Ph.D.

Lecturer | KTIML
David Obdržálek
Phone 95155 4270
Room S 124
Mobile robotics, autonomous vehicles, Internet of Things

Mgr. Marta Vomlelová, Ph.D.

Lecturer | KTIML
Marta Vomlelová
Phone 95155 4248
Room S 303
Probabilistic graphical models, machine learning

Researchers

Other Staff

Petra Novotná

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

Ph.D. Students

Mgr. Samuel Bartoš

Ph.D. Student | KTIML

Mgr. Miloš Chromý

Ph.D. Student | KTIML
Phone 95155 4439
Room S 508
Boolean functions, knowledge representation and compilation, CNF encodings

Mgr. Jana Glivická

Ph.D. Student | KTIML
Room S 207

Mgr. Tomáš Hubík

Ph.D. Student | KTIML
System dynamics, business modeling

Mgr. Tomáš Křen

Ph.D. Student | KTIML
Phone 95155 4251

Mgr. Ondřej Mička

Ph.D. Student | KTIML
Phone 95155 4251
Room S 207

Mgr. Josef Moudřík

Ph.D. Student | KTIML
Neural networks, Monte-Carlo tree search

Mgr. Lukáš Ondráček

Ph.D. Student | KTIML
Phone 95155 4251

Mgr. Simona Ondrčková

Ph.D. Student | KTIML

Mgr. Jiří Švancara

Ph.D. Student | KTIML
Phone 95155 4439
Room S 508
Multi-agent pathfinding, artificial intelligence, SAT

RNDr. Ing. Otakar Trunda

Ph.D. Student | KTIML
Phone 95155 4251
Room S 207

Mgr. Marek Vlk

Ph.D. Student | KTIML

Mgr. Jindřich Vodrážka

Ph.D. Student | KTIML
Phone 9  515 541 85
Room S 426
Automated planning, knowledge modeling, robotics

Mgr. Mikuláš Zelinka

Ph.D. Student | KTIML