David Robertson is a lecturer in Informatics at Edinburgh, where he leads the Software Systems and Processes group. His group specialises in the use of formal methods to assist in the modelling of problems and the synthesis of specifications and software. The work of the group combines ideas from formal methods, human factors and target application domains. Before the DIRC IRC he worked with others at Edinburgh on the use of formal methods and automated reasoning in support of safety cases. His current research grants include the Advanced Knowledge Technologies IRC; an EC project on the experimental analysis of large agent based systems; and an EPSRC project on the synthesis of Web sites from formal, domain-specific problem descriptions.