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

Docent of Logic at the Department of Philosophy, University of Helsinki.

Academy Research Fellow and leader of the research project ''Proof theory of non-classical logics''.

I completed my doctoral studies in mathematics 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. Since 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). My research interests include modal logic and its applications to temporal and epistemic logic.

Main publications (html)

Seminar in Logic 2005-

Teaching 1998-2006

Official homepage

Proof Theory Forum

Links