I am a senior lecturer in the School of Computing and a member of the Dependable Systems research group.