Research
We are involved in a broad range of research areas, ranging across the Department's four research groups of Digital Ecosystems, Formal Methods and Security, Multimedia Security & Forensics, and Nature Inspired Computing and Engineering. 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.
Research Assessment
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
Digital Ecosystems
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
The development of multimedia security technologies using digital watermarking and authentication, steganography and steganalysis and their deployment for image, video, audio and binary content. Details.
Nature Inspired Computing and Engineering
Developing computational models and algorithms inspired from natural intelligence found in physical, chemical, social and biological systems. Details.