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

Perdita Stevens

Laboratory for Foundations of Computer Science , University of Edinburgh

Perdita is interested in how mainstream software design can be well supported by formal techniques, capable of incorporation into existing tools and processes. In the past she has been, at different times, a pure mathematician and a professional software engineer. Other areas of interest include automatic verification of concurrent systems and software reengineering patterns. From Oct 2000 she is supported by an EPSRC Advanced Research Fellowship.


Publications


A list of publications by Perdita Stevens is available.

Telephone:
+44 (0131) 650 5195
Homepage:
Perdita Stevens
Email:
perdita@inf.ed.ac.uk
 
Page Maintainer: webmaster@dirc.org.uk Credits      Project Members only Last Modified: 12 August, 2005