Head of the College of Science & Engineering at the University of Edinburgh, Dave Robertson is internationally known for his research on formal methods for coordination in distributed, open systems using web and mobile infrastructures. He coordinated the EU OpenKnowledge project and was principal investigator on the EPSRC Advanced Knowledge Technologies research consortium.