Skip to main content

Biography

Mairead graduated from UCD with a BSc (major Computer Science, minor Mathematics) in 1985. She joined WIT as a lecturer in Computing in 1985 until 1990.

She then worked in SMC (later Kentz), a Software Development company based in Cork from 1990 to 1992.

Since 1992, Mairead has worked in WIT, now SETU again as a lecturer in Computing. 

Mairead has served on the Academic Council and Governing Body in  WIT (now SETU) as an elected staff representative as well as many cross-institute committees. 

Currently, Mairead teaches on the following courses:

Level 8:

  • BSc(Hons) in Computer Science, BSc(Hons) in Computer Security & Forensics, 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
  • HDip in Computer Science 
    • Programming Fundamentals
  • Project Supervision
    • MSc in Computer Science (mini-thesis) 
    • HDip in Business Systems Analysis

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.

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.

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

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.

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

sapvaleokostalfeedhenry

tssgonawareprimeurdonedeal

 

nearform

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.