Laura.Crosilla@unifi.it
Department of Philosophy
University of Florence
Via Bolognese 52
I-50139 Firenze, Italy
(+39) 055-4622-424 (office)
Research interests
Proof theory
Constructive set and type theories
Non-well-founded sets
Foundations of (constructive) mathematics
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 programme "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 are organising the special session on proofs and
computation as part of the conference CiE 2005: New computational paradigms, Amsterdam, June 8-12 2005
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.), Oxford University Press, to appear in October 2005
- 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.
- On constructing completions, with H. Ishihara, P. Schuster, to appear in Journal of symbolic Logic
- Tutorial for Minlog, Mathematisches Institut der LMU München, 2001, pp. 26
- 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
- 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.
