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.
Mark Lee: Member of the School's Natural Language Processing group since 1998 and a lecturer since 2000. He works on the automated understanding of natural language text and in particular the modelling of contextual and pragmatic meaning. He also has interests in the development of shallow text processing techniques for applications in areas such as education and he has a research background in corpus linguistics and the data-driven analysis of natural language in large bodies of text. He is a co-investigator on several national EPSRC grants with focus on corpus study and implementation. --Alan Sexton: Lecturer in the School of Computer Science since 1991. With Volker Sorge, he is a co-leader of the Scientific Document Analysis Group and was an investigator in the EU-network MKM (No. IST-2001- 37057). He has worked in databases for more than 15 years. Notably, he developed a novel approach to recognising fine distinctions in the components of single characters, which is currently in commercial use by the font foundry Bitstream. This work has since lead into optical character recognition and mathematical formula recognition.
Volker Sorge: Lecturer in the School of Computer Science since 2002. Member of the automated reasoning group and together with Alan Sexton he is a co-leader of the Scientific Document Analysis Group. He has worked on the integration of heterogeneous mathematical software systems and recently on the question of how mathematical knowledge can be adequately managed and retrieved, and has developed ontologies to sensibly structure mathematical concepts for the automated generation and understanding of mathematical textbook languages. He was an investigator in the EU-IHP Network CALCULEMUS (No. HPRN-CT-2000- 00102), the EU-network MKM (No. IST-2001-37057) and has coordinated Birmingham's activities in the EU network of excellence CoLogNET (No. IST-2001-33123).