Dr Liam O'Reilly
Senior Lecturer
Computer Science
Telephone: (01792) 604033
Email: JavaScript is required to view this email address.
Room: Office - 220
Second Floor
Computational Foundry
Bay Campus

Areas of Expertise

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

Publications

  1. Moller, F., O’Reilly, L., O'Reilly, L. Teaching Discrete Mathematics to Computer Science Students (Ed.), Formal Methods Teaching 150 164 Springer
  2. Gimblett, A., Kahsai, T., O'Reilly, L., Roggenbach, M. On the whereabouts of CSP-CASL – A survey Electronic Communications of the EASST 62
  3. O’Reilly, L., Mossakowski, T., Roggenbach, M., O'Reilly, L. Compositional Modelling and Reasoning in an Institution for Processes and Data (Ed.), Recent Trends in Algebraic Development Techniques 269
  4. O'Reilly, L. Structured Specification with Processes and Data - Theory, Tools and Applications
  5. O'Reilly, L., Roggenbach, M. AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems

See more...

Teaching

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

  • CSF100 Work-Based Portfolio 1

    In this module students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.

  • CSF200 Work-Based Portfolio 2

    In this module students will develop a portfolio of documents and projects which will demonstrate the application of knowledge gained from the co-requisite modules to their work experience.

  • CSF304 Web Application Development

    The module will develop the principles and technologies used for building web-based systems. Practical experience of building web systems will be gained via laboratories and coursework.