- Games: we have a games BSc and AI fits in well as an agent
technology. Perhaps something fits in here.
- Robotics: some of the PDE guys do robotics (as do Serengul and
Martin). Our virtual agents fit in. Is there some way to
bridge the gap.
- Requirements analysis and text mining (John Jenkins).
- Knowledge Management (Mark Woodman)
- Program verification, formal semantics and natural semantics.