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
list of publications by
Perdita Stevens is available.