Ján Pich

Kurt Gödel Research Center for Mathematical Logic
jan.pich@univie.ac.at

Previously I was a postdoc at the University of Leeds and University of Toronto. I did my PhD at Charles University.

Research interests: Mathematical Logic and Complexity Theory. In particular, Proof Complexity.

Publications