The Centre for Research in Computing’s research in software engineering is concerned with how software is specified and developed in the real world. We have a large, active research group looking at requirement elicitation, analysis and specification, software architectures, and design. We research software engineering in the human context: we want to understand how professionals develop software effectively, and how software changes over time in response to changing requirements. We research foundations, techniques, processes, and applications, using both formal and informal techniques drawn from mathematics, logic, and the social sciences. This diversity drives stimulating dialogues and cross-fertilisation of ideas.