Sara Negri
Scholar

Sara Negri

Google Scholar ID: vw2yWRQAAAAJ
University of Genoa
structural proof theorygeometric logicmodal and non-classical logicslabelled deductionformal epistemology
Citations & Impact
All-time
Citations
1,531
 
H-index
17
 
i10-index
34
 
Publications
20
 
Co-authors
18
list available
Contact
Publications
1 items
A Unified Gentzen-style Framework for Until-free LTL
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