Computing - Delivering Innovative Research
- 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