Charles University
Faculty of Mathematics and Physics ( Dept. of Algebra)
ContactBibliography (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).