Charles University in Prague
Faculty of Mathematics and Physics, Department of Algebra.
Also partially affiliated with the Institute of Mathematics AV CR.
Contact (I will have only an occasional access to snail mail during mid March - mid September 2012).
Bibliography.
Academic.
Proof complexity mailing list.
A brief professional cv.