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. & Teaching Discrete Mathematics to Computer Science Students. In Formal Methods Teaching. (pp. 150-164). Springer.
  2. & On the whereabouts of CSP-CASL – A survey. Electronic Communications of the EASST 62
  3. & Compositional Modelling and Reasoning in an Institution for Processes and Data. In Recent Trends in Algebraic Development Techniques. -269).
  4. (2012). Structured Specification with Processes and Data - Theory, Tools and Applications.
  5. & (2010). Compositional Modelling and Reasoning in an Institution for Processes and Data. Presented at Recent Trends in Algebraic Development Techniques,-269. doi:10.1007/978-3-642-28412-0_16

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.