Laura Crosilla

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

Courses:

• Computable Functionals
  Lecturer: Prof. Dr. Helmut Schwichtenberg
  Assistant: L.C.
  Lectures: Mondays, 11-13, HS E27.
  Exercise session: Mondays 14-16, HS E27.
  Office hour: Thursdays 12-13.
  

WS02/03:

• Diskrete Strukturen
  Lecturer: Prof. Dr. Helmut Schwichtenberg
  Assistants: Martin Kübler and L.C.
  Lectures: Tuesdays, Thursdays 11-13, Hörsaal 122.
  Main exercise session: Tuesdays 16-18, Hörsaal 122.
• Sets and types, constructively
  Abstract
  Thursdays: 9 - 11, Room 251 (second floor, Theresienstr. 39).
  Exercises: Friday 17-19, Room 423.
  This course takes place in English.
  
• Ferienkurs Nichtnumerisches Programmieren (Scheme)
  Lecturer: Prof. Dr. Helmut Schwichtenberg
  Assistants: Monika Seisenberger and L.C.
  The course takes place every day from 30.9.02 to 11.10.02.
  Lectures: 9-11; Exercise sessions: 13-14, both in room E27.

PhD thesis and publications.

My web page at Leeds.