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:		Mr. Howard Duncan	Dr. David Gray
[Linked to		Dr. Geoff Hamilton	Prof. Joe Morris
Research Profile]		Mr. Renaat Verbruggan	Dr. Rory O'Connor
		Dr. Claus Pahl	Prof. Michael Ryan
		Dr. Mike Scott	Dr. David Sinclair
		Mr. Brian Stone
Postdoctoral Researchers:		Dr. Edmond Holohan	Dr. Amy Johnston
		Dr. Malcolm Tyrrell
Affiliated Centres:		Lero (The Irish Software Engineering Centre)
		Centre for Software Engineering
Postgraduate Members:		Ronan Barrett	Shuib Basri
[Linked to		Neil Costigan	Cameron Dunne
Personal Websites]		Michelle Graham	Decai Jiao
		Humayun Kabir	Frank Halligan
		Mark Kevitt	Declan McMullen
		Mark Melia	Neill Sweeney
		Wesam Abdul Wahab	Claire Whelan
		Yulan Yan	Veronica Gacitua