Description: School of Computing. Research groups: Constraint programming and OR; Knowledge representation and reasoning; Multi-disciplinary informatics; Perception and language; Scientific computation and visualisation; Theoretical computer science.