Charles University
Faculty of Mathematics and Physics ( Dept. of Algebra)
Contact
Bibliography (and my books) and slides accompanying some selected talks
A brief professional cv
Logical Foundations of Complexity Theory: a four-month programme (1.IX.-18.XII.2026) at the Isaac Newton Institute , Cambridge University
A plan for the 2025/26 academic year:
Student logic seminar
Logic seminar
Winter semester course: Model theory
Summer semester course: Proof complexity and the P vs. NP problem
- - -
Past teaching (and support of young):
- courses, seminars, Falls schools 1999-2011 (and therein links to a number of notes and other material),
- Marie Curie Initial Training Network, Logic & Complexity special semester 2011,
- University Center of Excellence,
- past students, prospective PhD students.