About

I am a PhD candidate at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. My supervisors are Yde Venema and Bahareh Afshari.

I am interested in mathematical logic, where I mainly work in proof theory and related areas. My PhD project concerns 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@uva.nl.