Dr Liam O'Reilly

Senior Lecturer

Computer Science

l.p.oreilly@swansea.ac.uk

Office - 220
Second Floor
Computational Foundry
Bay Campus

Research Links

https://orcid.org/0000-0002-4894-2158

ResearcherID

About

Dr Liam O'Reilly is a Senior Lecturer in the Department of Computer Science, Swansea University.

Areas Of Expertise

Formal Methods
Computer Science and Software Engineering Pedagogy
Algebraic Specification
Process Algebra

Publications

Research Highlights

Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. Recent Trends in Algebraic Development Techniques -269).
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51782
O'Reilly, L. (2012). Structured Specification with Processes and Data - Theory, Tools and Applications
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51769
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51771
http://www.cs.swan.ac.uk/avocs09/proceedings.php
O'Reilly, L. (2008). Developing Proof Technology For CSP-CASL
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51775

All Research

Journal Articles

Pantekis, F., James, P., Kullmann, O., O'Reilly, L., & James, P. (2024). Optimized massively parallel solving of N‐Queens on GPGPUs. Concurrency and Computation: Practice and Experience, 0
https://doi.org/10.1002/cpe.8004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa65385
http://dx.doi.org/10.1002/cpe.8004
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
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
https://doi.org/10.14279/tuj.eceasst.62.873, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51786
https://journal.ub.tu-berlin.de/eceasst/article/view/873
O'Reilly, L., Roggenbach, M., & Isobe, Y. (2009). CSP-CASL-Prover: A Generic Tool for Process and Data Refinement. Electronic Notes in Theoretical Computer Science, 250(2), 69
https://doi.org/10.1016/j.entcs.2009.08.018, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa165

Book Chapters

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
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. Recent Trends in Algebraic Development Techniques -269).
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51782

Conference Contributions

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. & 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
O’Reilly, L., Mossakowski, T., Roggenbach, M., & O'Reilly, L. (2012). Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques (pp. 251-269). Springer.
https://doi.org/10.1007/978-3-642-28412-0_16, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa8087
http://link.springer.com/chapter/10.1007%2F978-3-642-28412-0_16

Other Research Outputs

O'Reilly, L. (2012). Structured Specification with Processes and Data - Theory, Tools and Applications
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51769
O'Reilly, L. & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51771
http://www.cs.swan.ac.uk/avocs09/proceedings.php
O'Reilly, L. (2008). Developing Proof Technology For CSP-CASL
SU Repository: https://cronfa.swan.ac.uk/Record/cronfa51775

Supervision

Mining Invariants via State Space Embeddings and Dichotomous Correlation (current)

PhD

Other supervisor: Prof Xianghua Xie

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

PhD

Other supervisor: Prof Faron Moller

Taught Modules

CS-230 Software Engineering

This module exposes the student to the major components of a practical software lifecycle through team-based practical software engineering. This module introduces students to prototyping, software design and implementation, and testing. Students are introduced to the issues and techniques of working in teams.