Date post: | 18-Dec-2014 |
Category: |
Technology |
Upload: | peter-lancaster |
View: | 370 times |
Download: | 0 times |
www.surrey.ac.uk
Department of Computing
Delivering Innovative Research into Industry
Paul KrauseProfessor of Software EngineeringandDirector of Research (Computing)
Wednesday, 22 September 2010
www.surrey.ac.uk
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
Wednesday, 22 September 2010
www.surrey.ac.uk
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
Wednesday, 22 September 2010
www.surrey.ac.uk
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.
Wednesday, 22 September 2010
www.surrey.ac.uk
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)
Wednesday, 22 September 2010
Wednesday, 22 September 2010
www.surrey.ac.uk
Can IT be “Green”?
I = P x A x T
global Impact = customer base (Persons) x spend per person (Affluence) x impact per unit spend on that Technology
Wednesday, 22 September 2010
Security Technologies: Digital Rights Management
www.surrey.ac.uk
Bush Ad Uses Doctored Image detected by www.dailykos.com
October 28, 2004 LA Times
Wednesday, 22 September 2010
Wednesday, 22 September 2010
www.surrey.ac.uk
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
Wednesday, 22 September 2010