# Professor Faron Moller

Professor
Computer Science
Telephone: (01792) 295160
Email: JavaScript is required to view this email address.
Room: Office - 507
Fifth Floor
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. & (2019). Teaching Discrete Mathematics to Computer Science Students. Presented at Formal Methods Teaching,, 150-164. Porto: Springer International.
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: CEP Computing Education Practice.

See more...

### Teaching

• #### CS-170Modelling Computing Systems 1

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

• #### CS-175Modelling Computing Systems 2

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

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

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

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