Daniel Santiago Jockwich Martinez

He graduated in Philosophy at the Pontificia Universidad Catolica del Ecuador (2012-2016) with a thesis on the philosophical and mathematical conception of infinity in the work of Georg Cantor. He did his graduate studies (M.Sc. Logic) in Amsterdam at the Institute of Logic, Language and Computation (2016-2018) under the supervision of Benedikt Löwe. There he specialized in mathematical logic, set theory, and non-classical logics. He interrupted these studies to start a PhD in Philosophy at the State University of Campinas (2018-2021) under the supervision of Giorgio Venturi. His dissertation "Non-classical Models of Set Theory" studies generalizations of Boolean-valued models to non-classical contexts. Moreover, he is familiar with topics from contemporary set theory and non-classical logics (with an emphasis on paraconsistent and intuitionistic logics). However, he is also interested in model theory, philosophy of mathematics, philosophy of logic and algebraic semantics. More recently, he started working in the area of Region-based Topology. (Source: Lattes Curriculum)