# Research

Currently I work as a post-doctoral researcher as part of the FWF project Certifying Termination and Complexity Proofs of Programs. Previously I was a post-doc at Centrum Wiskunde & Informatica (CWI), Amsterdam.

I am interested in various subfields of computational complexity theory (including parameterized complexity, quantum complexity, and communication complexity).