Summary of the research at the Dept. of Computing at the University of Surrey. Presented at "Implementing Future Networks, Content and Services with Secure and Efficient Systems." At the University of Surrey 20th Sept 2010

1. Department of Computing
Delivering Innovative Research into Industry
Paul Krause
Professor of Software Engineering
and
Director of Research (Computing)
www.surrey.ac.uk
Wednesday, 22 September 2010

2. Structure of Department
Formal Methods and Security
- high-integrity systems development
- formal analysis of security protocols
- multimedia security
Digital Ecosystems
- understanding and leveraging the impact of digital
technology on industry and society
- “Green IT”
Naturally Inspired Computing and Engineering
- developmental and cognitive neuroscience
- computational intelligence and machine learning
- cognitive systems and robotics
www.surrey.ac.uk
Wednesday, 22 September 2010

3. where is the proof?
• StAR project in early 1990s helped grow Lhasa Ltd from 6 people to
85
– AI techniques for toxicological risk assessment
– Current KTP is helping Lhasa develop its next generation of
products
• Bayesian Networks for software defect prediction with Philips
Electronics
– Set a new benchmark for predictive accuracy
– BN technology now being used under a KTA project for GHGe
prediction in the agricultural sector
• Genetic algorithms for design optimisation with Honda
– Used to optimise the “wings” on the (last) Honda F1 car
– now available as a design resource at Surrey
www.surrey.ac.uk
Wednesday, 22 September 2010

4. Big Projects
• OPAALS
– Open Philosophies for Associative Autopoietic digitaL ecosystemS
– EU Funded 4 year project, 15 Partners, 9M Euros
• ERIE: Evolution and Resilience of Industrial Ecosystems
– A 6 year, £4M project involving Computing, Mathematics,
Sociology and the Centre for Environmental Strategy
• MILES: Models and Mathematics in Life and Social Sciences
– A 3 year, £0.8M project involving Computing, Mathematics,
Sociology and Microbial Sciences
– The combination of the last two projects makes us part of a world
class centre in the modelling of complex adaptive systems.
www.surrey.ac.uk
Wednesday, 22 September 2010

5. And smaller ones
• Memset
– Carbon neutral data centre
• SWT
– Travel replacement and social computing for business
effectiveness
• Department of Computing
– First academic department in the country with wireless access
(2001)
– Access Grid node (2005)
– Innovative video conferencing for research and education (next)
www.surrey.ac.uk
Wednesday, 22 September 2010

6. Wednesday, 22 September 2010

7. Can IT be “Green”?
I=PxAxT
global Impact =
customer base (Persons)
x spend per person (Affluence)
x impact per unit spend on that Technology
www.surrey.ac.uk
Wednesday, 22 September 2010

8. Security Technologies: Digital Rights Management
Bush Ad Uses Doctored Image detected
by www.dailykos.com
October 28, 2004 LA Times
www.surrey.ac.uk
Wednesday, 22 September 2010

9. Wednesday, 22 September 2010

10. In Summary
• Key capabilities include
– Cloud computing and virtualisation
– “Green IT”
– Machine Learning and Context Modelling
– Agile development of innovative web services
• Strong track record in applicable research and knowledge transfer
www.surrey.ac.uk
Wednesday, 22 September 2010