University of Birmingham: School of Computer Science

The Birmingham School of Computer Science is an internationally leading institution with particular strengths in mathematical foundations of computer science, artificial intelligence and natural language processing. The School's Automated Reasoning group has worked on issues pertaining to electronic representation of intuitive mathematical concepts and the development of mathematical ontologies and was involved in the EU-network on Mathematical Knowledge Management (No. IST-2001-37057). The School's Scientific Document Analysis Group has been working on dedicated OCR systems for scientific documents and in particular on techniques for mathematical formula recognition and on extraction of mathematical notation from existing electronic documents. The Natural Language Processing group has a particular focus on the understanding of semantic and pragmatic meaning in text and have expertise in information retrieval and probabilistic techniques such as unsupervised topic-wise clustering of large document collections, textual entailment and document summarisation.