Ján Pich

Postdoctoral Researcher, Oxford University

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.

Program Visits

Meta-Complexity, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Graduate Student