Ph.D.
E-mail: thapen@math.cas.cz
Tel.: +420-222 090 778
Office: 524
Department of Mathematical Logic and Theoretical Computer Science
Research interests
logic and computational complexity
in particular proof complexity