Affiliations: the Academy of Sciences and the Charles University. Contact. Bibliography. Logic & Complexity programme. Proof complexity mailing list. A brief professional cv.
