About
Dr Liam O'Reilly is a Senior Lecturer in the Department of Computer Science, Swansea University.
Dr Liam O'Reilly
Honorary Appointment (Science and Engineering)
Faculty of Science and Engineering
Research Links
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
-
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).
-
O'Reilly, L. (2012). Structured Specification with Processes and Data - Theory, Tools and ApplicationsSU 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 SystemsSU Repository: https://cronfa.swan.ac.uk/Record/cronfa51771
-
O'Reilly, L. (2008). Developing Proof Technology For CSP-CASLSU Repository: https://cronfa.swan.ac.uk/Record/cronfa51775
All Research
Journal Articles
-
Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2025). Scaling Invariant Generation Using State Space Embeddings and GPU Streaming. Concurrency and Computation: Practice and Experience, 37(25-26), e70353
-
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, 36(10), e8004
-
Moller, F. & O'Reilly, L. (2019). On Teaching Discrete Mathematics to Freshman Computer Science Students. Journal of Higher Education Theory and Practice, 19(8)
-
Gimblett, A., Kahsai, T., O'Reilly, L., & Roggenbach, M. (2013). On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST, 62
-
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
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
-
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).
Conference Contributions
-
Lloyd-Roberts, B., Pantekis, F., James, P., O'Reilly, L., & Edwards, M. (2024). Effective Candidate Invariant Generation Using GPGPUs and Optimisations. In 2024 Twelfth International Symposium on Computing and Networking (CANDAR) (pp. 77-86). IEEE.
-
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.
-
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.
-
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.
-
Moller, F. & O'Reilly, L. (2019). Teaching Discrete Mathematics to Computer Science Students. In Formal Methods Teaching (pp. 150-164). Springer International Publishing.
-
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.
Other Research Outputs
-
O'Reilly, L. (2012). Structured Specification with Processes and Data - Theory, Tools and ApplicationsSU 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 SystemsSU Repository: https://cronfa.swan.ac.uk/Record/cronfa51771
-
O'Reilly, L. (2008). Developing Proof Technology For CSP-CASLSU Repository: https://cronfa.swan.ac.uk/Record/cronfa51775
Supervision
-
Mining Invariants from Reachability Traces (current)
PhDOther supervisor: Prof Xianghua XieOther supervisor: Dr Mike Edwards -
Solving Hard Problems at Scale using Massively Parallel Manycore Processors: An Investigation of GPGPU Acceleration Techniques (awarded 2025)
PhDOther 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.