# 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.

Apart from software verification, I am interested in algorithms and complexity theory (including parameterized complexity, quantum complexity, and communication complexity).