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).




 
				
				
			
