Professor Faron Moller
Computer Science
Telephone: (01792) 295160
Email: JavaScript is required to view this email address.


  1. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96, 315-336.
  2. & (2015). Technocamps: : Advancing Computer Science Education in Wales. Presented at 10th Workshop in Primary and Secondary Computing Education,, 121-126. doi:10.1145/2818314.2818341
  3. & A National Engagement Model for Developing Computer Science Education in Wales. Presented at ISSEP'2016: The 9th International Conference on Informatics in Schools,
  4. & A Specification Theory of Real-Time Processes. In Concurrency, Security, and Puzzles. (pp. 18-38).
  5. & Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer 16(6), 685-711.

See more...


  • CS-175 Modelling Computing Systems 2

    This module will follow on from CS-170 and introduces students to mathematical tools and techniques for modelling computing systems.

  • CSC390 Teaching Computing via a School Placement

    This module is for students with an interest in entering teaching, and involves a weekly placement in a local school or college under the mentorship of a Computing/ICT teacher. The student will engage both in observation and in various teaching activities. The module will be assessed on the basis of the mentor's report and on written project work.


  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (current)

    Student name:
    Other supervisor: Prof Markus Roggenbach
    Other supervisor: Dr Phillip James
  • 'A structured approach to modelling safety with a perspective on capacity in the railway.' (awarded 2017)

    Student name:
    Other supervisor: Prof Markus Roggenbach