Generate a tailored SOP for Dr. Ivan Di Liberti. Improve your application with a focused, well-structured draft.
Ivan Di Liberti is an Associate Senior Lecturer at the University of Gothenburg, specializing in the intersection of category theory and mathematical logic. He obtained his PhD in Mathematics from Brno in 2020, focusing particularly on category theory and formal logic. His academic trajectory includes postdoctoral positions in Prague and Stockholm, before securing his current role at Gothenburg University in late 2023. His research interests specifically include category theory, categorical logic, and the semantics of type theory, with recent studies aimed at exploring topos theory and dependent types. Ivan is also actively involved in teaching, coordinating courses in the Master's program on Logic, covering topics such as Set Theory, Model Theory, and Functorial Semantics. He has published various papers in reputable journals and continues to contribute to the academic community with an emphasis on both theoretical and applied aspects of his field.
Administered by the Department of Political Science; focus on International Administration and Global Governance (IAGG).