Tuomas Hakoniemi is currently a postdoctoral researcher at Imperial College London working with Iddo Tzameret. Previously he obtained his PhD at Universitat Politècnica de Catalunya under the supervision of Albert Atserias. Tuomas's research interests lie in computational complexity theory and mathematical logic; in particular in proof complexity.