Research
Mathematical logic: Constructive set theory, Constructive
mathematics and Proof theory. Foundations of mathematics:
Constructive foundations and predicativity.
From July 2009 I am working as RA in an EPSRC
founded project, PI Michael
Rathjen, title: "Constructive set theory: Models,
independence results and mathematics".
I have recently been supported by a research grant awarded by
the John Templeton
Foundation, working on the project: "Infinity in
constructive mathematics".
From January 2012 I have started a PhD in Philosophy.
Here is my new webpage.
Events
organisation
With Peter
Schuster: workshop From
sets and types to topology and Analysis: towards practicable
foundations for constructive mathematics, Venice (Italy),
1216 May 2003.
With Arnold
Beckmann: special session Proofs and computation, Cie 2005: New computational
Paradigms, Amsterdam(Holland), 812 June 2005.
I've been in the programme committee of CiE 2006: Logical
approaches to computational barriers, Swansea (UK),30 June
 5 July 2006, and CiE
2007: Computation and logic in the real world, Siena
(Italy), 1823 June 2007.
With Michael Rathjen and Stan Wainer: Leeds
Symposium on Proof Theory and Constructivism Leeds, 316
July 2009
Links
A
bibliography for Constructive Set Theory (under
construction!)
Leeds
Logic Group
Computability in
Europe
My
web page, Logic and philosophy of science group at the
Philosophy Department, Florence.
My
web page at the Mathematisches Institut der LMU München.
My old web page at the School of Mathematics of the
University of Leeds.

