Charles University
Faculty of Mathematics and Physics
(
Dept. of Algebra)
Contact and
my zoom (for some consultations, exams, etc.).
Slides accompanying some recent talks.
A brief professional cv
(including past teaching info).
The 2022/23 academic year:
Student logic seminar.
Logic seminar.
Winter semester course:
Model theory.
Summer semester course:
Proof complexity and the P vs. NP problem.
For PhD. study applicants.
University Center of Excellence (supporting
PhD students, postdocs and young mathematicians).