Tuomas Hakoniemi

Postdoctoral Researcher, Imperial College London & MRC London Institute of Medical Sciences
Visiting Postdoc
Program: Meta-Complexity

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