Department of Philosophy, P.O.Box 24 (Unioninkatu 40 A), 00014 University of Helsinki, Finland
Telephone: + 358 - 9 - 191 29220
Fax : + 358 - 9 - 191 28060
E-mail : myfirstname"dot"mylastname"at"helsinki"dot"fi
I am currently a fellow at the Helsinki Collegium for Advanced Studies. I have been a Senior Researcher and Dosentti (Adjunct Professor) since 1998 at the Philosophy Unit of the Department of Philosophy, History, Culture and Art Studies of the University of Helsinki.
My research interests range from mathematical logic and constructivism to proof theory and its applications to philosophical logic and formal epistemology.
I obtained a Ph.D. in mathematical logic at the University of Padova in 1996. I visited various universities (Amsterdam, Chalmers, StAndrews, Toulouse), have been a research associate at the Imperial College in London, a Humboldt Fellow in Munich, and a visiting scientist at the Mittag-Leffler Institute in Stockholm.
Besides teaching at the University of Helsinki, I have held a number of specialized courses in Summer Schools and invited lecture series. I have consolidated experience of reaserch group leadership and have supervised four doctoral dissertations.
I participate in the PhD program in Philosophy of the Scuola Normale Superiore.
My publications include about 50 refereed international articles and two books co-authored with Jan von Plato, Structural Proof Theory (Cambridge University Press, 2001, paperback 2008) and Proof Analysis: A Contribution to Hilbert's Last Problem (Cambridge University Press, 2011, paperback 2014).
During 2013-2014 I have obtained the National Scientific Qualification to associate and full professorship in Italian Universities for the academic fields of ''Logica, Storia e Filosofia della Scienza (11/C2)'' and ''Logica Matematica e Matematiche Complementari (01/A1)'', and to associate professorship in ''Informatica (01/B1)''.
I have three children, born in 1999, 2002, and 2005.
More information about my research can be found in my CV (pdf).
Workshop on Formalization in Philosophy, University of Copenhagen, December 12-13, 2013.
Workshop 'Proof Theory and Philosophy', University of Groningen, December 3-5, 2013.
University of Helsinki guidelines to avoid cheating and recognise plagiarism