I obtained my PhD in Logic at the
Department of Pure Mathematics, the University of Leeds
(UK) in November 2000.
I graduated in Philosophy
at Florence University (Italy) in 1995.
My research interests are:
mathematical logic and in particular proof theory,
constructive frameworks (constructive set theory,
Martin Löf type theory),
non-well-founded sets and non-well-founded phenomena,
theorem proving and automated deduction.
Together with
Peter Schuster,
we have organised the workshop:
From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive Mathematics
(Venice, 12-16 May 2003).
WS02/03:
Some links:
I.N.d.A.M.
(Istituto Nazionale di Alta
Matematica Francesco Severi)
Mathematical Logic around the world
Association for Symbolic Logic
Address:
Room 423,
Mathematisches Institut der
Ludwig-Maximilians-Universität München
Theresienstr. 39, D-80333 München
Germany
E-mail: crosilla at mathematik.uni-muenchen.de
Tel: +49 89 2180 4420,
Fax: +49 89 2180 4038
Last changed 27-11-03