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.

  • EDN102 Education Across the Lifespan

    This module will introduce students to various contexts for education across the lifespan. This will include formal and informal contexts for learning. Educational practice will be considered from a historical perspective, beginning with schooling and teaching. The changing nature of education and the variety of different professionals, working in the sector, will then be examined. The module will include guest speakers from the education sector, discussing current and future developments and the impact of these on educational practice. Students will be encouraged to reflect on their understanding of education and the range of contexts in which this can occur across the lifespan.

  • PME100 Learning in a Digital Age

    This module will introduce key concepts, issues and debates concerning learning in a digital age. This module will explore contemporary debates in topics such as 'bring your own device' (BYOD) initiatives and `digital natives┬┐, and you will have the opportunity to evaluate your digital capabilities. There will be opportunities to experiment, assess and reflect on different learning approaches with digital technologies, explore digital tools and spaces for learning, consider the risks and responsibilities, and the benefits and opportunities for learning in a digital age.


  • 'A structured approach to modelling safety with a perspective on capacity in the railway.' (awarded 2017)

    Student name:
    Other supervisor: Prof Markus Roggenbach
  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (awarded 2017)

    Student name:
    Other supervisor: Dr Phillip James
    Other supervisor: Prof Markus Roggenbach