University of Huddersfield
School of Computing and Engineering. Research groups in AI and Formal methods; Database access; Interactive technology; Numerical and neural computing; Software engineering.