Sara Negri

Department of Philosophy, P.O.Box 24 (Unioninkatu 40 A), 00014 University of Helsinki, Finland
Telephone: + 358 - 9 - 191 29220
Fax : + 358 - 9 - 191 29229
E-mail : myfirstname"dot"mylastname"at"helsinki"dot"fi

I am Docent of Logic at the Department of Philosophy, University of Helsinki, Academy Research Fellow (1.8.2002-31.7.2007, renewed 1.8.2007-31.7.2012), and leader of the research project ''Proof theory of non-classical logics'' (1.1.2006-31.12.2009).

I completed my doctoral studies in mathematical logic at the University of Padova in 1995, with a thesis on the applications of formal topology to pointfree analysis. I have had a Post-Doc position of Research Associate at the Department of Computing of the Imperial College of London, where I worked on a computational approach to measure and integration based on Dana Scott's theory of continuous lattices. After my move to Finland in 1996 my research has focused both on proof theory of pure logic as well as on applications of proof theory to mathematics (see the reasoned bibliography). Since 2003 my research interests include modal logic and its applications to temporal logic and formal epistemology.

I have supervised two doctoral dissertations and published more than 30 international refereed articles and the monograph Structural Proof Theory (Cambridge University Press, 2001, now also available in paperback).

I have three children (born in 1999, 2002, 2005).

Main publications

Seminar in Logic 2005-

Teaching 1998-2006

Official homepage

Proof Theory Forum

Evidence against global warming

Links