Ján Pich is a Postdoctoral Researcher at the University of Oxford, working on proof complexity. He completed his PhD under supervision of Jan Krajícek at the Charles University in Prague and held postdoctoral positions at the Czech Academy of Sciences, University of Vienna, University of Leeds and University of Toronto.