Department of Computer Science
University of Birmingham
United Kingdom Research topics: Specification and verification of systems, particularly reactive systems, security systems. Feature integration and feature interaction. Temporal logic and model checking
(updated at 2005-09-12)
http://www.cs.bham.ac.uk/~mdr