Research interests include: Computer architecture and electronic computer-aided design; networks and systems; compilers and programme manipulation; automated reasoning; theory and semantics; computer vision and neural computing; natural language; computer and communications security; computer graphics and interaction.