JŠn Pich

Department of Computer Science
University of Oxford
jan.pich@cs.ox.ac.uk

I am a Marie Curie research fellow at the Algorithms and Complexity Theory Group.

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

CV       RS         Krajicek fest       Complexity Theory workshop       For students       Media


Some of my recent research papers:

Learning algorithms from circuit lower bounds, preprint, Nov 2020.

Beyond natural proofs: hardness magnification and locality, with L.Chen, S.Hirahara, I.C.Oliveira, N.Rajgopal and R.Santhanam, ITCS'20, Nov 2019.

Hardness magnification near state-of-the-art lower bounds, with Igor C.Oliveira and Rahul Santhanam, CCC'19, preprint: Sep 2018. [slides]

Feasibly constructive proofs of succinct weak circuit lower bounds, with Moritz Müller, APAL'19, different version: Sep 2017. [slides]

Understanding Gentzen and Frege systems for QBF, with Olaf Beyersdorff, LICS 2016.

+ full list of publications          + orcid           + my PhD website

Poetry collection: Mathesis universalis, Literis 2016.