A very warm welcome to Emanuele D’Osualdo, who joined the group this week.

Emanuele did his PhD on the Verification of Message Passing Concurrent Systems at the University of Oxford under the supervision of Prof Luke Ong, winning the 2016 CPHC/BCS Distinguished Dissertation award. Emanuele joins us from the Concurrency Theory Group at the University of Kaiserslautern, Germany where he worked with Prof Roland Meyer. His current work focuses on models of concurrent behaviour to enable the construction of automatic analyses for concurrent systems. More details on his webpage: