Department of Computer Science
University of Oxford
I am an MSCA research fellow at the Algorithms and Complexity Theory Group.
Research interests: Mathematical Logic and Complexity Theory. In particular, Proof Complexity.
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.
Poetry collection: Mathesis universalis, Literis 2016.