Artificial intelligence and symbolic computation including constraint programming, computational algebra and computational logic and natural language processing, image processing and robotics.
Computer systems including cloud computing and distributed systems, next-generation internet, sensor systems, pervasive systems and data linkage analysis.
Human Computer Interaction including pervasive and ubiquitous computing, input and output technologies, intelligent interactive systems and visualisation.
Health Informatics focusing on biomedical models, hypotheses, and systems for future biomedical research projects using data from both studies and simulations.