Software Systems

Head of Discipline: Professor Matthew Hennessy

The Software Systems Discipline has significant strength in programming language and middleware technologies and the formal foundations that underlie them. The Discipline views its role as advancing software technology and fundamental understanding in verification, modularization and concurrent interaction of software components, taking advantage of opportunities to apply these advances in domains that have current importance. Today’s technological environment is particularly in need of advances in these fields, since service-oriented architectures, safety-critical software, and multi-core chip sets exhibit related needs for reliability, for substitutable modularization and for concurrency.

The Discipline participates in Lero - The Irish Software Engineering Research Centre - for which it provides the principal competency in formal methods.

Research Groups

Graduate Programmes

For details on doing a PhD in the School of Computer Science and Statistics please see: