http://www.dirc.org.uk/  
 
   
   
Overview
Research
Sites
People
    Listing
    Fellows
Publications
Events
Related Projects
   
 

Dave Robertson

Centre for Intelligent Systems and their Applications , University of Edinburgh

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.

Telephone:
+44 (0131) 650 2709
Homepage:
Dave Robertson
Email:
dr@dai.ed.ac.uk
 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 12 August, 2005