Mathematisches Institut der Universität MünchenUniversität MünchenMathematisches Institut der Universität München

Laura Crosilla

Since September 1st 2003 I moved to Dipartimento di Filosofia, Università degli Studi di Firenze (Italy).

Postal Address:
via Bolognese 52,
50139 Firenze

E-mail: Laura.Crosilla at

My new web page is available at the address:

From October 1st 2002 until September 30th 2003 I was scientific assistant at the Mathematisches Institut, Ludwig-Maximilians-Universität München.
From October 2000 to September 2002 I was PostDoc of the Graduiertenkolleg Logik in der Informatik.
I was a member of the Arbeitsgruppe Mathematische Logik.

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).




PhD thesis and publications.

My web page at Leeds.

Some links:

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
Ludwig-Maximilians-Universität München
Theresienstr. 39, D-80333 München
E-mail: crosilla at
Tel: +49 89 2180 4420, Fax: +49 89 2180 4038

Last changed 27-11-03