A Bit About Me…

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.

I am also currently working in collaboration on various projects with Markus RoggenbachFaron MollerHelen TreharneSteve Schnieder and Siemens Rail Automation.

In theory, theory and practice are the same. In practice they are not. (AE)