Dr. Muhammad Rizwan Ali (HVL) successfully defended his PhD thesis on “Formal Modelling and Analysis for Cross-organisational workflows”! Congratulations!