Electronic Proceedings in Theoretical Computer Science · 2024
Cited
0
Resume (English only)
Academic Achievements
Publications: Multiple papers on geometric logic, non-classical logics, and modal logic; Books: Co-authored 'Proof Analysis' with Jan von Plato.
Research Experience
Held the chair of Theoretical Philosophy at the Philosophy Unit of the Department of Philosophy, History, and Culture of the University of Helsinki from 2015 to 2019; Researcher/Senior Researcher since 1996 and Adjunct Professor in Logic since 1998 in the same department (resumed in 2021); Research fellow at the Helsinki Collegium for Advanced Studies from 2014 to 2015; Visited various universities including Amsterdam, Chalmers, St Andrews, Toulouse; Research associate at the Department of Computing of Imperial College London; Humboldt Fellow at the Department of Mathematics of LMU Munich; Visiting scientist at the Mittag-Leffler mathematical research institute in Stockholm and the Hausdorff Research Institute for Mathematics.
Education
Degrees: Master in Mathematics (1991), Ph.D. in Mathematics (1996); University: University of Padova; Major: Mathematics.
Background
Research interests: geometric logic, non-classical logics, modal logic, mainly approached through proof-theoretical methods. Brief bio: Her research is focused on geometric logic, non-classical logics, and modal logic, primarily through proof-theoretical methods.
Miscellany
Email: myfirstname.mylastname@unige.it or mylastname.myfirstname@gmail.com