Artificial intelligence and symbolic computation
Overview
Our work in artificial intelligence and symbolic computing is concerned with how we can make use of computers to augment human mathematical and logical capabilities and in investigating how to automate human capabilities such as face recognition.
- Computational algebra and computational logic where our interests include the development of new algorithms; integration of those algorithms into powerful and flexible systems; in computational logic, we focus on sequent calculi for non-classical logics. Key projects are based around CIRCA which has funding from the EPSRC and the European Commission.
- Constraint programming where our principal areas of interest are in symmetry breaking, quantified constraints, automated constraint modelling and the design and implementation of efficient constraint solvers. Key projects include the development of a constraint modelling assistant and the Minion constraint solver project.
- Cognitive systems where our main interests are in natural language processing, analysing and manipulating facial images and neural networks. A key project in this area is concerned with face research - try out our
online face transformer.
| Academic staff | Research students | Research staff |
|---|---|---|
|
|
Follow us: