Ira Assent Professor Department of Computer Science, University of Aarhus Email: ira@cs.au.dk Webpage: