Sara Negri homepage  

Professor of Mathematical Logic

DIMA Dipartimento di Matematica

Università degli Studi di Genova

Via Dodecaneso 35

16146 Genova (GE)


University e-mail : myfirstname"dot"mylastname"at"unige"dot"it 

Gmail: mylastname"dot"myfirstname"at"gmail"dot"com (if you use my gmail address, be careful with the order, else the message will go to another Sara Negri, I'll never see it, and you'll think I am a rude person who doesn't reply!)

My research, in brief. My research is focused on geometric logic, non-classical logics, modal logic, mainly approached through proof-theoretical methods

Rationale: The early years of modal logic saw the characterisation of its basic notions in terms of the axiomatic method. Later, with the invention of Hintikka-Kripke's semantics, semantical methods became the dominant approach of philosophers, mathematicians, and computer scientists. These methods, however, do not reflect the structure of the inferential processes that are necessarily connected to a logical representation.

Here modern proof theory comes to rescue; in fact, it was born out of dissatisfaction with the axiomatic logical method in view of a faithful presentation of the processes of logical inference.

My early work in this area, from 1997 to 2003, has been mainly in pure proof theory, in the tradition of Gentzen, Ketonen, Dragalin and Troelstra. In 2003, I found a way of extending the results for pure predicate logic to logics that can be characterized in terms of Kripke semantics. With this in hand, I had a clue to develop inferential systems for modal logic, which at that time was considered impossible by many.

A decisive step in the programme I carried out subsequently was the formulation of systems of basic modal logic as systems of rules of proof within a well-developed methodology for the analysis of the structure of proofs. The seminal paper in the topic appeared in 2005 and has become a widely cited and very influential work and the basis of several doctoral theses, both in Finland and abroad; an exposition forms the fourth part of my monograph "Proof Analysis" with Jan von Plato.

Recently, I have extended this line of research both in scope and methodology, with the development of a more fine-grained topological semantics to cover counterfactual reasoning, non-normal modalities, doxastic notions and epistemic dynamics.

Short bio. I am professor (it.: Professore Ordinario) of Mathematical Logic at the University of Genova. During 2015-2019 I have held the chair of Theoretical Philosophy at the Philosophy Unit of the Department of Philosophy, History and Culture of the University of Helsinki. Previously I have been a Researcher/Senior Researcher since 1996 and Logiikan Dosentti (Adjunct Professor in Logic) since 1998 in the same department (a title resumed in 2021), and research fellow at the Helsinki Collegium for Advanced Studies from 2014 to 2015. I obtained a Master degree in Mathematics in 1991 and a Ph.D. in Mathematics in 1996, both at the University of Padova. I visited various universities (Amsterdam, Chalmers, St Andrews, Toulouse), have been a research associate at the Department of Computing of the Imperial College in London, a Humboldt Fellow at the Department of Mathematics of LMU in Munich, and a visiting scientist at the Mittag-Leffler mathematical research institute in Stockholm and at the Hausdorff Research Institute for Mathematics in Bonn. I have held a number of specialised courses in Summer Schools and invited lecture series to students from mathematics, philosophy and computer science. I have consolidated experience of reserch group leadership and have supervised five doctoral dissertations. During 2013-2014 I have obtained the National Scientific Qualification to associate and full professorship in Italian Universities for the academic fields of ''Logica Matematica e Matematiche Complementari (01/A1)'' and ''Logica, Storia e Filosofia della Scienza (11/C2)'', and to associate professorship in ''Informatica (01/B1)''.

CV (pdf).


   MOSAIC: Modalities in Substructural Logics: Theory, Methods and Applications (2021-2025) H2020

Infinity and Intensionality: Towards A New Synthesis, (2021 – 2024) Research Council of Norway

Former representative for Finland for the European research network on types for programming and verification (EUTYPES) COST action