معرفی
Dr Liam O'Reilly is a Senior Lecturer in the Department of Computer Science at Swansea University, within the Faculty of Science and Engineering. His expertise spans Formal Methods, Software Engineering Pedagogy, Algebraic Specification, and Process Algebra. He actively contributes to teaching, including the module CS-230 (Software Engineering), focusing on practical software lifecycle processes. His research emphasizes formal methods integration in education and computational problem-solving using parallel computing techniques like GPGPUs.
Key research interests include GPU-accelerated algorithms (e.g., N-Queens problem optimization), formal verification of safety-critical systems, and educational strategies for discrete mathematics and formal methods. He has co-authored publications on tools like CSP-CASL-Prover and led studies on railway safety visualization and hands-on security testing in lab environments.
Recent work includes a 2024 paper on parallel N-Queens solving and invariant generation using GPGPUs, reflecting his focus on high-performance computing and formal verification. He collaborates with researchers like Pantekis F. and Prof. Faron Moller, contributing to both theoretical and applied computer science domains.
