Dr. Joshua Blinkhorn

jb 20200429 

Institute of Computer Science
Friedrich Schiller University Jena
Ernst-Abbe-Platz 2
Room: 3324
07743 Jena

email: joshua dot blinkhorn at uni-jena dot de

tel: +49 (0)3641 946324
fax: +49 (0)3641 946322


After obtaining a first-class BA in Mathematics from the Open University (2015),
I completed a PhD in proof complexity at the University of Leeds (2019).
I work currently as a postdoctoral researcher in the Computer Science Institute at the University of Jena.

Research Interests

I continue to work in proof complexity, with particular emphasis on quantified Boolean formulas and models of solving.
My broader interests lie in computational complexity and automated reasoning.
I also maintain a casual and lifelong fascination with theories of natural philosophy.

Publication Record

A complete list of my publications is to be found here.

Scientific Activities

I am serving on the program committee of the QBF workshop 2020.


`Hardness Characterisations and Size-Width for QBF' - Dagsthul 2020 (invited)
`Proof Complexity of QBF Symmetry Recomputation' - SAT 2019 (conference paper)
`Building Strategies into QBF Proofs' - IMSc Chennai 2019 (invited), TU Wien 2019 (invited), QBF 2019 (contributed)
`Lower-bound Techniques for QBF Expansion' STACS 2018 (conference paper)
`Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs' - ITCS 2018 (conference paper), BCTCS 2018 (contributed)
`Shortening QBF Proofs with Dependency Schemes' - SAT 2017 (conference paper), IJCAI 2018 (best paper track presentation)
`QBF Calculi: Semantics and Soundness' - CP 2016 (conference paper), Schloss Dagstuhl 2016 (invited), QBF 2016 (contributed), BCTCS 2016 (contributed)