Dawit Tirore

12 December 2024, at 09.30 (Danish TIme)

Location:  Aud 0. (0A27)

Thesis: A Mechanisation of Multiparty Session Types

Examination Committee:
Associate Professor Alessandro Bruni, IT-University of Copenhagen (Chair).
Professor Simon Gay, University of Glasgow.
Associate Professor Marino Miculan, University of Udine.

Supervisors:
Associate Professor Marco Carbone, IT-University of Copenhagen.
Associate Professor Jesper Bengtson, IT-University of Copenhagen.