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á

Academic Staff

  • Professors
  • Associate Professors
  • Assistant Professors
  • Lecturers

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

Professor | KTIML
Phone 95155 4242
Room S 206
Roman Barták
Artificial Intelligence, planning and scheduling, constraint satisfaction

prof. RNDr. Milan Vlach, DrSc.

Professor | KTIML
Phone 95155 4340
Room S 303
Milan Vlach

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

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

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

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

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

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

RNDr. Jiří Fink, Ph.D.

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

Mgr. Petr Gregor, Ph.D.

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

Mgr. Martin Pilát, Ph.D.

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

RNDr. Jan Hric

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

RNDr. Petr Kučera, Ph.D.

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

Mgr. Vladan Majerech, Dr.

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

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

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

Mgr. Marta Vomlelová, Ph.D.

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

Researchers

Torsten Mütze, Ph.D.

Researcher | KTIML
Torsten Mütze

Martin Plátek, CSc.

Researcher | KTIML
Phone 95155 4142
Room S 206
Martin Plátek
Automata theory, mathematical linguistics, restarting automata

Other Staff

Petra Novotná

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

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. 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. Jiří Švancara

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

Mgr. 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 95155 4185
Room S 426
Automated planning, knowledge modeling, robotics

Mgr. Mikuláš Zelinka

Ph.D. Student | KTIML