Professor Faron Moller
Professor
Computer Science
Telephone: (01792) 295160
Email: JavaScript is required to view this email address.
Room: Office - 507
Fifth Floor
Faraday Building (Tower Block)
Singleton Campus

Publications

  1. & A university-based model for supporting computer science curriculum reform. Journal of Computers in Education
  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, Munster, Germany: ISSEP 2016.
  4. & A Specification Theory of Real-Time Processes. In Concurrency, Security, and Puzzles. (pp. 18-38).
  5. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96, 315-336.

See more...

Teaching

  • 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.

Supervision

  • Untitled (current)

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

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

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