PhD Defence for Johanne B. Stumpf Thursday 11th October

SIRIUS PhD student Johanna Beate Stumpf will defend her thesis with the title “Virtually Timed Ambients – A calculus for resource management in cloud computing” on Thursday 11th of October 2018, 14:45 in Kristen Nygaards sal (5370), 5th Floor, Ole-Johan Dahls hus, Gaustadalléen 23B, Oslo. 
 
The trial lecture with the topic “Formal Models for Hybrid Systems” will be held at 11:15 in the same room.