Invitation
The public disputation to be held as part of Nuria Brede's doctoral procedure will take place
on Thursday, 28th of November 2024, 9:30 am in room 2.70.0.11
(University complex 2, Golm, Building 70, Room 0.11).
The topic of the dissertation submitted by Nuria Brede in the scientific discipline "Theoretical Computer Science" is
"On Monadic Backward Induction and Extensional Equality Preservation in Intensional Type Theory" .
A copy of the dissertation and the scientific summary are publicly available up to one day before the
disputation in accordance with §9, section 4 of the doctoral regulations.
Prof. Dr.-Ing. Ulrike Lucke
Chair of the examination board
