Teaching & Supervision

Past courses.

Supervision.

Suggested readings.

Master in Logic at GU.

Current courses

Category Theory '25

Semantics of DTT '25

Functorial Semantics '25

Future courses

Model Theory (Autumn '25)

Set Theory (Autumn '25)