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. & Technoteach: Supporting Computing Teachers Across Wales. Presented at Proceedings of WiPSCE 2019: Workshop in Primary and Secondary Computing Education, Glasgow: ACM.
  2. & Teaching Discrete Mathematics to Computer Science Students. Presented at Proceedings of FMTea 2019: Formal Methods Teaching, Porto: Springer.
  3. & A university-based model for supporting computer science curriculum reform. Journal of Computers in Education 5(4), 415-434.
  4. & A Specification Theory of Real-Time Processes. In Concurrency, Security, and Puzzles. (pp. 18-38).
  5. & (2019). Teaching Computing via a School Placement. , 1-4. Durham, UK: ACM Press. doi:10.1145/3294016.3294029

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.

  • HUP170 Introduction to Logic

    This module introduces students to the language and tools of classical elementary logic and addresses questions about the relations between formal and natural languages. It cultivates students┬┐ ability to translate complex natural language passages into formal claims and arguments, to assess their validity, and to engage with such further philosophical topics as: analyticity, apriority, necessity, descriptions, existence, identity, truth, meaning and reference. Finally, students will engage with various techniques required for reasoning about complex systems.

Supervision

  • A usable security classification scheme for IoT (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