Faculty of Informatics: School of Computing and Mathematical Sciences. Jordanstown and Magee campuses. Research areas include: AI; Information engineering; Internet technology; Medical informatics; Software engineering.
University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.