We are also very active in information behaviour and in-technology acceptance studies. In terms of design for use, we are involved in designing, developing and evaluating interactive technologies that aim to be useful, usable and attractive, particularly in learning and cultural heritage. Visual modelling aims to enable diagrammatic notations to be widely used for practical applications. A major strand of research is designing new diagrammatic logics suitable for use in software modelling and ontology engineering. This is complemented by work in the visualisation area, on the automated creation of effective diagrams for displaying information. To achieve our aims, the research is inherently interdisciplinary, making contributions in the areas of logic, reasoning, information visualisation, and human-computer interaction (HCI) with a strong empirical component to ensure that results are usable by people for real-world applications.