Joshua Dawes received his PhD degree from the University of Manchester (England), in 2020. His research interests lie in the fundamental research necessary to analyse programs’ behaviour and the engineering work necessary to apply program analysis tools in the industrial context. Joshua joined the Software Verification and Validation research group, SVV, headed by Prof. Lionel Briand and he will be reporting to Prof. Domenico Bianculli.