I am a senior lecturer in the School of Computing and a member of the Dependable Systems research group. Currently on sabbatical in the Department of Computer Science, Copenhagen University (DIKU) for the academic year 2011-2012.