Professor Faron Moller

Professor

Computer Science

+44 (0) 1792 295160

f.g.moller@swansea.ac.uk

Office - 214
Second Floor
Computational Foundry
Bay Campus

Available For Postgraduate Supervision

Research Links

https://orcid.org/0000-0001-9535-8053

ResearcherID

About

Faron Moller is a Professor of Computer Science at Swansea University within the Theoretical Computer Science Group, where he is the Founding Head of the Swansea Railway Verification.

Faron is also Director of Technocamps, a pan-Wales schools and community outreach programme based at Swansea University but with hubs in every university in Wales. He is also Head of the Institute of Coding in Wales, which represents the business engagement arm of Technocamps, and co-Lead of the Research Theme on Educational, Historical and Philosophical Foundations of Computer Science, which represents the research arm of Technocamps.

Areas Of Expertise

Concurrency Theory
Automata Theory
Modal and Temporal Logic
Verification
Computer Science Education

Career Highlights

Teaching Interests

• Formal Verification Methods
• Logic and Semantics
• Automata and Formal Languages
• Algorithms and Complexity

Publications

Research Highlights

Ward, R., Crick, T., Davenport, J., Hanna, P., Hayes, A., Irons, A., Miller, K., Moller, F., Prickett, T., & Walters, J. (2023). Using Skills Profiling to Enable Badges and Micro-Credentials to be Incorporated into Higher Education Courses. Journal of Interactive Media in Education, 2023(1)
https://doi.org/10.5334/jime.807, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63183
http://dx.doi.org/10.5334/jime.807
Mcneill, G., Sondag, M., Powell, S., Asplin, P., Turkay, C., Moller, F., & Archambault, D. (2023). From Asymptomatics to Zombies: Visualization-Based Education of Disease Modeling for Children. In Proceedings of the 2023 CHI Conference on Human Factors in Computing SystemsACM.
https://doi.org/10.1145/3544548.3581573, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa62706
http://dx.doi.org/10.1145/3544548.3581573
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
Moller, F., Powell, S., Asplin, P., Archambault, D., Turkay, C., McNeill, G., & Sondag, M. (2022). Modelling Zombies and Other Diseases. In Xiaoling Zhang, Christian Glahn, Nardie Fanchamps, Marcus Specht (Ed.), Proceedings of the Sixth APSCE International Conference on Computational Thinking and STEM Education (pp. 18-21). TU Delft OPEN Publishing.
https://doi.org/10.34641/ctestem.2022.457, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61011
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461

All Research

Journal Articles

James, P., Moller, F., & Pantekis, F. (2023). OnTrack: Reflecting on domain specific formal methods for railway designs. Science of Computer Programming, 233, 103057
https://doi.org/10.1016/j.scico.2023.103057, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65127
http://dx.doi.org/10.1016/j.scico.2023.103057
Ward, R., Crick, T., Davenport, J., Hanna, P., Hayes, A., Irons, A., Miller, K., Moller, F., Prickett, T., & Walters, J. (2023). Using Skills Profiling to Enable Badges and Micro-Credentials to be Incorporated into Higher Education Courses. Journal of Interactive Media in Education, 2023(1)
https://doi.org/10.5334/jime.807, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63183
http://dx.doi.org/10.5334/jime.807
Moller, F. & O'Reilly, L. (2019). On Teaching Discrete Mathematics to Freshman Computer Science Students. Journal of Higher Education Theory and Practice, 19(8)
https://doi.org/10.33423/jhetp.v19i8.2670, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53031
Moller, F. & Crick, T. (2018). A university-based model for supporting computer science curriculum reform. Journal of Computers in Education, 5(4), 415-434.
https://doi.org/10.1007/s40692-018-0117-x, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa43551
http://dx.doi.org/10.1007/s40692-018-0117-x
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming, 96, 315-336.
https://doi.org/10.1016/j.scico.2014.04.005, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21769
Nguyen, H., James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2014). Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer, 16(6), 685-711.
https://doi.org/10.1007/s10009-014-0304-7, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa21770
Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2013). Railway modelling in CSP||B: the double junction case study. Electronic Communications of the European Association for the Study of Science and Technology, n/a
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa13712
http://www.cs.swan.ac.uk/~csfm/avocs12.pdf
Kanso, K., Moller, F., & Setzer, A. (2009). Automated Verification of Signalling Principles in Railway Interlocking Systems. Electronic Notes in Theoretical Computer Science, 250(2), 19-31.
https://doi.org/10.1016/j.entcs.2009.08.015, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa153
Jančar, P., Kučera, A., Moller, F., & Sawa, Z. (2004). DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation, 188(1), 1
https://doi.org/10.1016/S0890-5401(03)00171-8, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1719
Moller, F., Smolka, S., & Srba, J. (2004). On the computational complexity of bisimulation, redux. Information and Computation, 194(2), 129
https://doi.org/10.1016/j.ic.2004.06.003, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1721
Moller, F. & Rabinovich, A. (2003). Counting on CTL*: on the expressive power of monadic path logic. Information and Computation, 184(1), 147
https://doi.org/10.1016/S0890-5401(03)00104-4, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1718
Hirshfeld, Y. & Moller, F. (2001). Pushdown automata, multiset automata, and Petri nets. Theoretical Computer Science, 256(1-2), 3
https://doi.org/10.1016/S0304-3975(00)00099-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1720

Book Chapters

James, P., Moller, F., & Roggenbach, M. (2023). Software Model Checking of Interlocking Programs. Lecture Notes in Computer Science (pp. 130-146). Springer Nature Switzerland
https://doi.org/10.1007/978-3-031-40132-9_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa63848
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. Communications in Computer and Information Science (pp. 173-190). Springer International Publishing
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53032
http://dx.doi.org/10.1007/978-3-030-71374-4_9
Chilton, C., Kwiatkowska, M., Moller, F., & Wang, X. (2016). A Specification Theory of Real-Time Processes. Concurrency, Security, and Puzzles (pp. 18-38). Springer International Publishing
https://doi.org/10.1007/978-3-319-51046-0_2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa33932
James, P., Lawrence, A., Moller, F., Roggenbach, M., Seisenberger, M., Setzer, A., Kanso, K., & Chadwick, S. (2014). Verification of Solid State Interlocking Programs. Software Engineering and Formal Methods (pp. 253-268). Springer
https://doi.org/10.1007/978-3-319-05032-4_19, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa19511
Nguyen, H., James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., Treharne, H., Trumble, M., & Williams, D. (2014). Verification of Scheme Plans Using CSP || B. Software Engineering and Formal Methods -204).
https://doi.org/10.1007/978-3-319-05032-4_15, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa20838
Moller, F. (2008). On the complexity of parity games. Visions of Computer Science (pp. 237-247). British Computer Society
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa13714

Conference Contributions

Petrovska, O., Clift, L., Moller, F., & Pearsall, R. (2024). Incorporating Generative AI into Software Development Education. In CEP '24: Proceedings of 8th Conference on Computing Education PracticeAssociation for Computing Machinery, New York, NY, United States.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65079
Hopkins, C. & Moller, F. (2024). Institute of Coding in Wales Digital Skills Bootcamps – Micro-Credentials: A Pilot Project. In Proceedings of the 8th Conference on Computing Education PracticeACM.
https://doi.org/10.1145/3633053.3633055, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65243
Astarte, T., Moller, F., Quille, K., & Russell, S. (2023). UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER: UK & Ireland Computing Education ResearchACM.
https://doi.org/10.1145/3610969, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64645
http://dx.doi.org/10.1145/3610969
Hopkins, C., Moller, F., & Roberts, L. (2023). Institute of Coding in Wales Digital Skills Bootcamps - A Model for Stackable Micro-credentials. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing EducationACM.
https://doi.org/10.1145/3610969.3611134, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64679
http://dx.doi.org/10.1145/3610969.3611134
Petrovska, O., Clift, L., & Moller, F. (2023). Generative AI in Software Development Education: Insights from a Degree Apprenticeship Programme. In Troy Astarte, Faron Moller, Keith Quille, Seán Russell (Ed.), UKICER '23: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing EducationACM.
https://doi.org/10.1145/3610969.3611132, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64736
http://dx.doi.org/10.1145/3610969.3611132
Crick, T. & Moller, F. (2023). Technocamps: Highlighting 20 Years of Transforming Digital Education in Wales. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2ACM.
https://doi.org/10.1145/3587103.3594195, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa64133
http://dx.doi.org/10.1145/3587103.3594195
Mcneill, G., Sondag, M., Powell, S., Asplin, P., Turkay, C., Moller, F., & Archambault, D. (2023). From Asymptomatics to Zombies: Visualization-Based Education of Disease Modeling for Children. In Proceedings of the 2023 CHI Conference on Human Factors in Computing SystemsACM.
https://doi.org/10.1145/3544548.3581573, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa62706
http://dx.doi.org/10.1145/3544548.3581573
Moller, F., Powell, S., Asplin, P., Archambault, D., Turkay, C., McNeill, G., & Sondag, M. (2022). Modelling Zombies and Other Diseases. In Xiaoling Zhang, Christian Glahn, Nardie Fanchamps, Marcus Specht (Ed.), Proceedings of the Sixth APSCE International Conference on Computational Thinking and STEM Education (pp. 18-21). TU Delft OPEN Publishing.
https://doi.org/10.34641/ctestem.2022.457, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa61011
Cerone, A., Roggenbach, M., Davenport, J., Hopkins, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P., Schlingloff, B., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Communications in Computer and Information Science (pp. 1-26). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_1, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa60461
Moller, F., O'Reilly, L., Powell, S., & Hopkins, C. (2021). Teaching Them Early: Formal Methods in School. In International Workshop on Formal Methods - Fun for Everybody FMFun 2019: Formal Methods – Fun for Everybody (pp. 173-190). Springer International Publishing.
https://doi.org/10.1007/978-3-030-71374-4_9, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa57838
James, P., Powell, L., O'Reilly, L., & Moller, F. (2020). Hands-on Security Testing in a University Lab Environment. In Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science EducationACM.
https://doi.org/10.1145/3341525.3387366, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53790
Pantekis, F., James, P., O'Reilly, L., Archambault, D., & Moller, F. (2020). Visualising Railway Safety Verification. In Osman Hasan, Frederic Mallet (Ed.), Formal Techniques for Safety-Critical Systems. FTSCS 2019. Communications in Computer and Information Science. (pp. 95-105). Springer International Publishing.
https://doi.org/10.1007/978-3-030-46902-3_6, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa53283
Moller, F. & Powell, S. (2019). Technoteach: Supporting Computing Teachers Across Wales. In Proceedings of the 14th Workshop in Primary and Secondary Computing Education on - WiPSCE'19ACM Press.
https://doi.org/10.1145/3361721.3361736, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51714
Moller, F. & O'Reilly, L. (2019). Teaching Discrete Mathematics to Computer Science Students. In Formal Methods Teaching (pp. 150-164). Springer International Publishing.
https://doi.org/10.1007/978-3-030-32441-4_10, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51498
Moller, F. & Powell, S. (2019). Teaching Computing via a School Placement. In CEP '19: Proceedings of the 3rd Conference on Computing Education Practice (pp. 1-4). CEP Computing Education Practice.
https://doi.org/10.1145/3294016.3294029, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa46121
https://dl.acm.org/doi/10.1145/3294016.3294029
Moller, F. & Crick, T. (2016). A National Engagement Model for Developing Computer Science Education in Wales. In ISSEP'2016: The 9th International Conference on Informatics in SchoolsISSEP 2016.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa29623
http://www.cs.swan.ac.uk/~csfm/Pubs/issep16.pdf
Crick, T. & Moller, F. (2015). Technocamps: Advancing Computer Science Education in Wales. In Proceedings of 10th Workshop in Primary and Secondary Computing Education (pp. 121-126). ACM.
https://doi.org/10.1145/2818314.2818341, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa43385
https://dl.acm.org/citation.cfm?doid=2818314.2818341
James, P., Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, . (2014). Decomposing scheme plans to manage verification complexity. In FORMS/FORMAT- 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa37077
Moller, F., Nguyen, H., Roggenbach, M., Schneider, S., & Treharne, H. (2013). Defining and model checking abstractions of complex railway models using CSP||B. In Haifa Verification Conference 2012Springer Verlag.
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa13711
http://www.cs.swan.ac.uk/~csfm/hvc12.pdf
Nguyen, H., Isobe, Y., Moller, F., Nguyen, H., & Roggenbach, M. (2012). Safety and Line Capacity in Railways – An Approach in Timed CSP. In Integrated Formal Methods (pp. 54-68). Springer-Verlag.
https://doi.org/10.1007/978-3-642-30729-4_5, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa13710
http://www.cs.swan.ac.uk/~csfm/ifm12.pdf

Supervision

Solving Hard Problems at Scale using Massively Parallel Manycore Processors: An Investigation of GPGPU Acceleration Techniques (current)

PhD

Other supervisor: Dr Liam O'Reilly

Taught Modules

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.