Tuomas Hakoniemi

Postdoctoral Researcher, Imperial College London

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.

Program Visits

Meta-Complexity, Spring 2023, Visiting Postdoc