From today to December 12, I am visiting the Programming, Logic and Semantics group at IT University of Copenhagen.
Tomorrow I will give a talk about A bigraph-based Formal Model and Verification Framework for Container-Based Systems; the slides are here.
On Thursday I am honored to serve on Dawit Tirore’s PhD Final Evaluation Committee.
It is always a pleasure to come back to Copenhagen!