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.
we have organised the workshop:
From Sets and Types to Topology and Analysis
Towards Practicable Foundations for Constructive Mathematics
(Venice, 12-16 May 2003).
PhD thesis and publications.
My web page at Leeds.
The Minlog System
British Logic Colloquium
(Istituto Nazionale di Alta Matematica Francesco Severi)
Unione Matematica Italiana
Mathematical Logic around the world
Association for Symbolic Logic
Room 423, Mathematisches Institut der
Theresienstr. 39, D-80333 München
E-mail: crosilla at mathematik.uni-muenchen.de
Tel: +49 89 2180 4420, Fax: +49 89 2180 4038
Last changed 27-11-03