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
From January 2012 I have started a PhD in Philosophy.
Here is my new webpage.
Schuster: workshop From
sets and types to topology and Analysis: towards practicable
foundations for constructive mathematics, Venice (Italy),
12-16 May 2003.
Beckmann: special session Proofs and computation, Cie 2005: New computational
st1:city>), 8-12 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), 18-23 June 2007.
With Michael Rathjen and Stan Wainer: Leeds
Symposium on Proof Theory and Constructivism Leeds, 3-16
bibliography for Constructive Set Theory (under
web page, Logic and philosophy of science group at the
Philosophy Department, Florence.
web page at the Mathematisches Institut der LMU München.
My old web page at the School of Mathematics of the
University of Leeds.