Laura Crosilla

Laura.Crosilla@unifi.it

Department of Philosophy
University of Florence
Via Bolognese 52
I-50139 Firenze, Italy
(+39) 055-475640

Research interests

Constructive set and type theories
Non-well-founded sets
Foundations of (constructive) mathematics
Proof theory
Assisted theorem proving

Curriculum

• 1989-1995: Laurea degree at Department of Philosophy, University of Florence
• 1996: Diploma in Internet multimedia programming
• 1997-2000: PhD in logic at the Department of Pure Mathematics, University of Leeds
• 2000-2002: Two years Post Doc, Department of Mathematics, LMU München (GKLI project sponsored by DFG)
• 2002-2003: Fixed term assitant at Department of Mathematics, LMU München
• 2003-2005: Post Doc at Department of Philosophy, University of Florence
• 2008: Research Grant awarded by the John Templeton Foundation within the project "Infinity in Mathematics"

With Peter Schuster we have organised the Workshop:
From sets and types to topology and analysis: practicable foundations for constructive mathematics, Venice, 12-16 May 2003

Arnold Beckmann and I have organised the special session on proofs and computation as part of the conference CiE 2005: New computational paradigms, Amsterdam, June 8-12 2005.
I've been in the programme committee for the next two CiE conferences: CiE 2006: Logical Approaches to Computational Barriers, Swansea, 30 June - 5 July 2006 and CiE 2007: Computation and Logic in the real world, Siena, June 18-23 2007.

See also the Computability in Europe web page.

Selected publications and preprints

• From sets and types to topology and analysis: practicable foundations for constructive mathematics, with P. Schuster (eds., co-authored introduction), Oxford University Press, Oxford Logic Guides 48, 2005, pp. xix+376.
• Constructive and Intuitionistic ZF, to appear in Stanford Encyclopedia of Philosophy.
• Constructive set theory with operations, with A. Cantini, in: A. Andretta, K. Kearnes, D. Zambella eds., Logic Colloquium 2004, Association of Symbolic Logic, Lecture notes in Logic, 29, 2008.
• Constructive notions of sets (Part I): Sets in Martin-Löf type theory, in Annali del Dipartimento Filosofia, Università degli studi di Firenze, Nuova serie XI, Firenze University Press 2006, pp. 347-387.
• Binary refinement implies discrete exponentiation, with P. Aczel, H. Ishiara, E. Palmgren, P. Schuster, Studia Logica, 84, 2006, pp. 367-374.
• On constructing completions, with H. Ishihara, P. Schuster, in Journal of Symbolic Logic, 70, 2005, pp. 969-978.
• Inaccessible set axioms may have little consistency strength, with M. Rathjen, Annals of Pure and Applied Logic, Vol 115/1-3, pp. 33-70, 2002.
• Gödel's L in CZF, technical report, Mathematisches Institut der LMU München, 2002, pp. 29.
• Tutorial for Minlog, Mathematisches Institut der LMU München, 2001, pp. 26, distributed with Minlog 4.0.
• Realizability interpretations for constructive set theories with restricted induction, PhD thesis, September 2000.

Links to my web page at the Mathematisches Institut der LMU München and to my web page at the School of Mathematics of the University of Leeds.

I've a geocities web page which is likely to be more up to date.