laura.crosilla at unifi.it

Welcome to my geocities web page!
I moved to Leeds (UK) in June 2005 and Amalia was born in October the same year.
Here are some of her pictures.

For a holiday in the Alps: www.albergodiffuso.it

The rest of this page is about my research and academic life.

Research Interests:

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

Curriculum:

1989-1995: Laurea Degree at the Department of Philosophy, University of Florence (Italy)
1996: Diploma in internet multimdia programmer
1997-2000: PhD in Logic at the School of Mathematics, University of Leeds (UK)
2000-2002: PostDoc at Institut for Mathematics, LMU Muenchen (GKLI project sponsored by DFG) (Germany)
2002-2003: fixed term assistant at Department of Mathematics LMU Muenchen
2003-2005: PostDoc at Department of Philosophy, University of Florence
From Janaury 2008: Research Grant awarded by the John Templeton Foundation within the project:
"Exploring the infinite".
From July 2009 I'll be working on an EPSRC founded grant, principal investigator Michael Rathjen, title: "Constructive set theory: Models, independence results and mathematics".

Event organisation:

With Peter Schuster: workshop From sets and types to topology and Analisys: 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
I've been in the programme committee of CiE 2007: Computation and logic in the real world, Siena (Italy), 18-23 June 2007

Selected publications and preprints:

• From sets and types to topology and analysis: towards practicable foundations for constructive mathematics, with P. Schuster (eds., co-authored introduction), Oxford Logic Guides 48, Oxford University Press, October 2005, pp. xix + 376
  
• Constructive notions of sets (Part II): Sets in Zermelo Fraenkel set theory, in preparation
  
• Constructive and Intuitionistic ZF, to appear in Stanford Encyclopedia of Philosophy
  
• Constructive set theory with operations, with A. Cantini, to appear in Logic Colloquium 2004, A. Andretta, K. Kearnes, D. Zambella (eds.), Association of Symbolic Logic, Lecture Notes in Logic, 29, 2008
  
• Constructive notions of set (Part I): Sets in Martin-Loef type theory, Annali del Dipartimento di Filosofia, 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, 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
• Tutorial for Minlog, Mathematisches Institut der LMU Muenchen, 2001, pp. 26
  
• Realizability interpretations for constructive set theories with restricted induction, PhD thesis, September 2000

Links:

My web page at the School of Mathematics of the University of Leeds
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
Computability in Europe
MINLOG System
FIlo LOGICo