Charles University in Prague
Faculty of Mathematics and Physics ( Dept. of Algebra)
BibliographyA brief professional cv (including past teaching info).
(A plan for the) 2017/18 academic year:Student logic seminar: Games in logic.
Winter semester course: Mathematical logic.
Summer semester course: Proof complexity and the P vs.NP problem.