PhD Defence by Dawit Tirore
About the event
When
Thursday, December 12, 2024 9:30 AM
-
Thursday, December 12, 2024 3:00 PM
Where
Aud. 0 (Room: 0A27), IT-University of Copenhagen, Rued Langgaards Vej 7, 2300 Copenhagen S.
PhD Defence by Dawit Tirore at 09:30 in Aud. 0 (room: 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.