Jan Krajíček

Charles University, Prague
Faculty of Mathematics and Physics ( Dept. of Algebra)



A brief professional cv (including past teaching info).

The 2017/18 academic year:

Student logic seminar: Games in logic.
Logic seminar.
Winter semester course: Mathematical logic.
Summer semester course: Proof complexity and the P vs.NP problem.

Prospective MSc. and PhD. students.