Department of Philosophy, P.O.Box 9, 00014 University of Helsinki, Finland
Telephone: + 358 - 9 - 191 29220 (office), + 358 - 9 - 677347 (home), + 358 - 50- 3658688 (GSM)
Fax : + 358 - 9 - 191 29229
E-mail : sara.negri@helsinki.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 at the University of Padova in 1995, with a thesis on the applications of formal topology to pointfree constructive 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 constructive approach to measure and integration based on Dana Scott's theory of domains. Since my move to Finland in 1996 my research has mostly focused on structural proof theory (see the reasoned bibliography).