Research Interests

Intelligent Inhabited Environments (IIE)
(Pervasive Computing)

Intelligent Inhabited Environments Group

Research Activities

Complementary Research

Current funded projects

Current Industrial Funded Projects

Previously Funded Research Projects

Projects under Review and in preparation

Research Facilities

Future developments 1

Publications and International Esteem

Essex Robotics

Robotics - who we are

Field and Service Robotics

Intelligent Autonomous Systems
and Cognitive Robotics

Machine consciousness and swarm intelligence


The Future

Constraint Satisfaction & Optimisation
Computational Finance

Constraints & Optimisation


Constraint Satisfaction

Computational Finance

Natural Language Engineering
Web Applications

Natural Language Engineering & Web Applications: at-a-glance

Highlight I: Acquisition of lexical & ontological knowledge. Application I: Anaphora

Application II: Intelligent Search

Highlight II: The semantics & interpretation of abstract objects

Highlight III: Dialogue & Speech

Machine Learning
Intelligent Agents




Other Learning Projects

Agents 1

Agents 2

Human-Computer Interfaces

Human-Computer Interfaces

Human-Computer Interfaces

Human-Computer Interfaces

Human-Computer Interfaces

Natural and Evolutionary Computation (NEC)

Natural and Evolutionary Computation (NEC)


Areas of Expertise




Dependable Systems

Dependable Systems Group

Foundations of Specification

Specification Logics and Refinement

FM for System Architecture and Design

Program Analysis

Tools and Interoperability

Formal Methods for Embedded Systems