Jan Krajíček

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

Contact

Bibliography (including my books)

Slides accompanying some recent talks.
A brief professional cv (including past teaching info).


The 2020/21 academic year (a plan):

Student logic seminar.
Logic seminar.
Winter semester course: Model theory.
Summer semester course: Proof complexity and the P vs. NP problem.


For prospective PhD. students.
University Research Center (supporting PhD students, postdocs and young mathematicians).