Foundations and Applications Research Group

The Foundations of Computer Science and Applications area has made contributions in

• Theories of data
• Type inference systems
• Specification logics
• Program slicing
• Specification of business processes
• Theories of refinement
• Combinatorics
• Software Modelling

The Foundations of Natural Language and Applications area has made contributions in

• Anaphora resolution
• Intelligent document retrieval
• Intensional semantics

Current interests include

• Tool support in software design, modelling, specification and verification
• Philosophical foundations of computing
• Software design theory
• Theorem proving and its applications
• Specification Logic
• Creating anaphorically-annotated resources through semantic wikis
• Developing embodied agents as interfaces for intelligent environments
• Concept acquisition, combining BCI work, text mining and lexical acquisition

Group Members

Amnon Eden
Chris Fox
Martin Henson
Peter Higgins
Udo Kruschwitz
Massimo Poesio
Ray Turner
Norbert Voelker