I’ll soon be a postdoc at TU Wien. 

Before that, I had a brief position at Sapienza University of Rome.

I received my PhD in September 2025 at Ghent University, Belgium, under the supervision of Andreas Weiermann, Lorenzo Carlucci (Sapienza University of Rome), and David Fernández-Duque (University of Barcelona). 

The title of my PhD thesis is “Gödel’s Incompleteness at the Frontiers of Provability”.

My research lies in mathematical logic, with a focus on proof theory, ordinal analysis, reverse mathematics, computability theory, and combinatorics. I am particularly interested in the interaction between combinatorial principles and subsystems of arithmetic, proof-theoretic reductions, and fast-growing hierarchies.

Contact email: oriola dot gjetaj at gmail dot com