Dr Giorgos Christodoulou Computer Science +44 (0)151 795 4259 Ext. 4259 Work email G.Christodoulou@liverpool.ac.uk About Research Publications About About Research Publications