Recent research has focused on virtualisation, security, usability, formal verification, formal semantics of programming languages, computer architecture, natural language processing, wireless networking, biometric identification, routing, positioning systems and sustainability (""Computing for the future of the planet"").