About

I am a mathematic logician working in proof theory and related areas.

Recently I obtained my PhD at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam supervised by Yde Venema and Bahareh Afshari. My PhD project concerned non-wellfounded proofs. These are proofs that allow infinite branches or cycles making them suitable for logics with fixpoints or induction.

Please contact me at j.kloibhofer@proton.me.