A full list can be found on DBLP.

Use the following list for local copies:

On the Complexity of Hazard-free Circuits. STOC (2018).

PDF Publisher Version

Small Depth Proof Systems ToCT (2016).

PDF Publisher Version

Space-Efficient Approximations for Subset Sum. ToCT (2016).

PDF Publisher Version

Building Above Read-Once Polynomials: Identity Testing and Hardness of Representation Algorithmica (2015).

PDF Publisher Version

A Game Characterisation of Tree-like Q-resolution Size LATA 2015 (2015).

PDF Publisher Version

Verifying Proofs in Constant Depth ToCT (2013).

PDF Publisher Version

The Complexity of Unary Subset Sum COCOON (2012).

PDF Publisher Version

Counting paths in planar width 2 branching programs CATS (2012).

PDF Publisher version


Current Courses:

  • Data Structures (Fall 2018)

Past Courses:

  • Theory of Computation & Introduction to Complexity (Spring 2018)
  • Complexity Theory (Summer 2015 at Saarland University)