Research Group pages.
The School of Computing Science has 4 new research groups. Each group has a set of webpages on the Computing Science website; here is a brief description of each group:
The AMBER groups work aims to help contain risk by equipping engineers with methods and tools that allow them to explore, verify and refine the properties of such complex systems by means of models with well-founded semantics. Such model-based engineering can permit detection of optimal (and defective!) designs long before the sometimes expensive commitment is made to implementations on real hardware.
The Scalable Systems Group is creating the enabling technology required to deliver tomorrow’s large-scale services. This includes work on scalable cloud computing, big data analytics, distributed algorithms, stochastic modelling, performance analysis, data provenance, concurrency, real-time simulation, video game technologies and green computing.
The Secure & Resilient Systems group investigates fundamental concepts, development techniques, models, architectures and mechanisms that directly contribute to creating modern information systems, networks and infrastructures that are dependable and secure in all aspects. Such systems need to be resilient to malicious attacks and accidental faults to deliver services that can be justifiably trusted by their stakeholders.
The Teaching Innovation groups’ aims are to encourage, foster and pursue Innovation in Teaching and to maximize the impact of Innovation efforts on the School’s teaching practices, programmes and curricula.
The School now has 6 groups in total (including the 2 groups already established, DI and ICOS).