index maps area

Dr Laura Crosilla

Department of Pure Mathematics
School of Mathematics
University of Leeds
Tel: +44 (0)113 343 8620

E-mail: matmlc @

Laura Crosilla


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.

Selected publications and preprints

Events organisation

With Peter Schuster: workshop From sets and types to topology and Analysis: towards practicable foundations for constructive mathematics, Venice (Italy), 12-16 May 2003.

With Arnold Beckmann: special session Proofs and computation, Cie 2005: New computational Paradigms, Amsterdam(Holland), 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 July 2009


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.