Researcher Luis Miguel Danielsson, advised by Professor César Sánchez, has defended his thesis, titled: “Decentralized and Distributed Stream Runtime Verification”
Researcher Joakim Öhman, supervised by Professor Aleks Nanevski, presented his thesis: "Compositional Reasoning of Concurrency with the Visibility Method"