Ján Pich is a Royal Society University Research Fellow at the University of Oxford working on mathematical logic and complexity theory and, in particular, on proof complexity of circuit lower bounds. He obtained his PhD from Charles University in Prague under the supervision of Jan Krajíček and held postdoctoral research positions at the Czech Academy of Sciences, University of Vienna, University of Leeds and University of Toronto.