I am currently a lecturer at the Computer Science Department at Swansea University. I am a member of the Swansea Railway Verification Group and also the Processes And Data research group. My current research interests include:
- Domain Specific Languages aimed at verification.
- Formal specification and verification of railway interlocking systems.
- Model Checking using SAT-Solving.
- Algebraic specification using CASL, the Common Algebraic Specification Language.
In theory, theory and practice are the same. In practice they are not. (AE)