Members of the Information and Communication Technologies Research Track, have a research record in the areas of:
-
Formal Methods: Formal Specification Languages, Modelling and Model Checking for Safety Critical and Large Scale Systems, Formal Verification and Testing of Software Systems
-
Artificial Intelligence: Multi-Agent Systems, Biologically Inspired Computation, Parallel Logic Programming, Constraint Logic Programming, Neural Networks , Semantic Web Technologies
-
Software Engineering: Service Oriented Computing, Web Service Technologies, Cloud Computing, Software Engineering Processes, Agile Software Development, Object-Oriented Analysis and Design
-
Educational Informatics: Virtual Learning Environments, Networked and Ambient Learning, Learning Management Systems, Multiple Teaching Strategies
-
Health Informatics: Electronic Health Records, Health Information Management, Affective and Physiological Computing
-
Information Systems: Analysis, Design, and Management of IS, Business Information Systems, Geographical Information Systems, Information Security, IT Policy and Socio-Economic Effects
A brief profile of the ICT research track's activities can be downloaded here (in PDF format).