The focus of this group is the development of reliable and secure software. This encompasses a number of different approaches to ensuring the dependability of software from the softer approaches through software development methods and software project management to more formal approaches through refinement, verification and automatic program construction.

Staff Members:

• Howard Duncan
• David Gray
• Geoff Hamilton
• Joe Morris
• Tony Moynihan
• Rory O'Connor
• Claus Pahl
• Michael Ryan
• Mike Scott
• David Sinclair
• Brian Stone
• Renaat Verbruggan

Postgraduate Members:

• Benyamin Aziz
• John Butler
• Gerry Coleman
• Thibault Candebat
• Neil Costigan
• Thomas Hack
• Ian Lawthers
• Oliver Lyttleton
• Noel McCullagh
• Bernadette Power
• Norah Power
• Frederic Enoha Oehl
• Pól Ó Místeáil
• David Tunney
• Karen Bolger
• Rosemary Monaghan
• Cameron Ross-Dunne
• Humayun Kabir
• Yaoling Zhu

Current Funded Projects:

• IMPROVE
• Client Server Capability Matching (funded by Sun Microsystems and Enterprise Ireland)
• A Secure Infrastructure for Location-Dependent Services on the Internet
  (Funded by Enterprise Ireland)
• Identity Based Encrypted Email
  (Funded by Enterprise Ireland)

Affiliated Centres:

• Formal Methods & Security Reading Group
• ISEMSIG ("Irish Software Engineering Management Special Interest Group")
• Centre for Software Engineering