We are involved in a broad range of research areas, ranging across the Department's four research groups of Digital Ecosystems (DE), Formal Methods and Security (FMS), Multimedia, Security & Forensics (MSF), and Nature Inspired Computing and Engineering (NICE). The Department has a strong research culture and a growing research profile, and we have won several prizes, including the University Voting Systems Competition System Design award in 2007, and the prestigious Institution of Engineering and Technology Innovation in Engineering Security award in 2006.
We have a tradition of exploitation and practical application, and we enjoy strong research links with industry. We have a vibrant and active PhD community, and regularly host research visitors and speakers.
In the 2012 SJTU Academic Ranking of World Universities (ARWU) in Computer Science:
Top 10 in the UK
Top 150 in the world
In the 2008 RAE our research was rated:
10% as world-leading
40% as internationally excellent
Theories and techniques for high quality complex reactive systems and new generations of pervasive computer systems. Details.
Formal Methods and Security
New technologies for security- and safety-critical domains, ranging from trustworthy voting systems, to formal methods integration for software systems development, and formal models for UML. Details.
Multimedia, Security and Forensics
Interplay among three areas: multimedia computing, computer security and digital forensics, including digital watermarking and authentication, steganography and steganalysis, multimedia forensics, multimedia coding and visual quality assessment, usable security, biometrics, cyber security and digital forensics, digital media analysis. Details.
Nature Inspired Computing and Engineering
Developing computational models and algorithms inspired from natural intelligence found in physical, chemical, social and biological systems. Details.