Staff Directory - Mairead Meagher

My Research

Mairead's research interest are around the application of mathematics to data modelling and the software development lifecycle (also known as Formal Methods) . She completed her M.Phil. in 2001, entitled 'Towards the Development of an Electoral Count System using Formal Methods' under supervisor Prof. Michael Butler, University of Southampton, England. 

Publication:

M.J. Butler & M.R. Meagher, 'Performing Algorithmic Refinement before Data Refinement in B'. In Conference Proceedings - ZB2000 - Formal Specification and Development in Z and B, pages 324 - 343. Lecture Notes in Computer Science, 1878, Springer, 2000.

Teaching Experience

Currently, Mairead teaches on the following courses:

Level 8:

• BSc(Hons) in Applied Computing, BSc(Hons) in Entertainment Systems, BSc(Hons) in Computer Security & Forensics, BSc(Hons) in Internet of Things, year 1.
  • Programming Fundamentals 1 and Programming Fundamentals 2
• BSc(Hons) in Applied Computing, BSc(Hons) in Computer Security & Forensics, year 4.
  • Formal Specification, Functional Programming.

In addition she has developed and/or taught on the following courses in the past:

Level 9:

Training of Trainers (Masters) 

• Formal Methods

MSc(Communications Software) 

• Agile Development
• Mini-dissertation supervision

Level 8:

BSc(Hons) in Applied Computing

• Year 1
  • Web Development
• Year 2
  • Algorithms
• Year 4
  • Formal Methods,
  • Database Systems,
  • Systems Design,
  • Systems Software(including Networks, Compiler Design, Operating Systems)

Level 7:

• Database systems

Level 6:

• Operating Systems,
• Software Engineering
• Basic Mathematics,
• Project supervision.

My Professional Experience

Mairead has been course leader for the BSc(Hons) in Applied Computing since 2001. For more information see here. 

Other

Mairead has  been a staff representative on the WIT Academic Council (1998 - 2004).

Mairead has been a staff representative on the WIT Governing Body(2010 - 2013).

Mairead has been an External Examiner in CIT (2008 - 2010)  for BSc in Computing.

Programme Leadership

Mairead has been programme leader for the BSc(Hons) in Applied Computing since 2001.

The Bsc(Hons) in Applied Computing is the oldest Computing degree in the IoT sector. We are continually redeveloping the programme to ensure that our graduates continue to be among the most sought after computing graduates nationally. Our graduates are strong programmers. They will also have a specialism which gives them an opportunity to apply their programming techniques to an area of their particular interest. Currently, our areas of specialisms on offer are:

• Automotive and Automation Systems
• Computer Security & Forensics
• Cloud Computing
• Game Development
• Internet of Things
• Media Development

As part of their third year, students go out to work placement. We have strong links with many leading edge and sucessful software houses locally and further afield. 

For more information on programme, please go here.