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. Moller, F., O’Reilly, L. Teaching Discrete Mathematics to Computer Science Students Formal Methods Teaching 11758 150 164
  2. Chilton, C., Kwiatkowska, M., Moller, F., Wang, X. A Specification Theory of Real-Time Processes (Ed.), Concurrency, Security, and Puzzles 18 38
  3. Moller, F., Powell, S. Teaching Computing via a School Placement 1 4
  4. Moller, F., Crick, T. A National Engagement Model for Developing Computer Science Education in Wales ISSEP'2016: The 9th International Conference on Informatics in Schools
  5. James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., Williams, D. Verification of Scheme Plans Using CSP || B (Ed.), Software Engineering and Formal Methods 204

See more...

Teaching

  • CS-170 Modelling Computing Systems 1

    This module introduces students to mathematical tools and techniques for modelling computing systems.

  • 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:
    PhD
    Other supervisor: Dr Phillip James
  • A usable security classification scheme for IoT (current)

    Student name:
    MSc
    Other supervisor: Dr Phillip James
  • 'Safety Verification of Ladder-Logic Programs of Railway Interlockings' (awarded 2017)

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

    Student name:
    MRes
    Other supervisor: Prof Markus Roggenbach