# Cloud Computing and Cybersecurity Group (CCC)

**Source**: https://www.brookes.ac.uk/research/units/tde/groups/cloud-computing-and-cybersecurity
**Parent**: https://www.brookes.ac.uk/engage-and-innovate/consultancy

Group Leader(s):
[Professor Hong Zhu](https://www.brookes.ac.uk/profiles/staff/hong-zhu)

Contact:

[hzhu@brookes.ac.uk](mailto:hzhu@brookes.ac.uk)

[+44 (0)18654580](tel:+44 (0)18654580)

Select a section

Showing all research info

About us

Research impact

Leadership

Membership

Projects

slide 1 to 5 of 5

[About us](#research-about)
[Research impact](#research-impact)
[Leadership](#research-leadership)
[Membership](#research-team)
[Projects](#research-projects)

[next or previous](#)

## About us

The Cloud Computing and Cybersecurity Group consists of staff in the school with a common research interests on cloud computing and cybersecurity and wide diversity of expertise ranging from cloud and distributed computing, software engineering, web technology, formal methods, programming languages, computing networks, mobile communication, security, artificial intelligence, to big data and data analytics.

The research addresses both foundational and practical problems of cloud computing and cybersecurity with research methodologies rooted in formal methods, software automation and development tools, and software languages.

Currently the group is working on the key areas of cloud computing and cybersecurity, including software testing and has developed a new method for testing AI applications. A novel programming language is being developed for microservice cloud native applications. An algebra of design patterns lays a foundation of proving a software design is valid, and also applicable to understand cyberpatterns.  Cybersecurity is a newly established area of research and the current focus is on developing a security framework for autonomous vehicles.

### Part of

- [School of Engineering, Computing and Mathematics](https://www.brookes.ac.uk/about-brookes/structure-and-governance/faculties-and-schools/ecm "School of Engineering, Computing and Mathematics")
- [Artificial Intelligence, Data Analysis and Systems (AIDAS) Institute](https://www.brookes.ac.uk/research/units/tde/institutes/aidas)

### Related courses

- [Computing (MPhil / PhD / Masters by Research / PhD by Published Work)](https://www.brookes.ac.uk/courses/research/computing)
- [Computer Science (BSc (Hons))](https://www.brookes.ac.uk/courses/undergraduate/computer-science)
- [Computer Science for Cyber Security (BSc (Hons))](https://www.brookes.ac.uk/courses/undergraduate/computer-science-for-cyber-security)
- [Data Science and Artificial Intelligence (MSc)](https://www.brookes.ac.uk/courses/postgraduate/data-science-and-artificial-intelligence)

## Research impact

The impact from the research group includes:

- The development of a novel programming language called CAOPLE and its integrated DevOps environment CIDE for cloud computing based on the research work on agent-oriented software engineering for web-based applications.
- A formalism for the formal specification of software design patterns, an algebra of pattern composition and instantiation, a theory of validity of pattern composition and instantiation, and the application of the theory to cyberpatterns and software security designs.
- The development of an algebraic formal specification language called SOFIA for the development of service-oriented systems.
- The development of a new software testing methodology for AI applications called datamorphic testing. An automated testing tool called Morphy has been designed and implemented based on the methodology and case studies and controlled experiments have been conducted with real industrial applications of face recognitions.
- Members of the research group are actively involved in the organisation of international conferences focussed on software testing and service oriented systems.

## Leadership

### Professor Hong Zhu

- [hzhu@brookes.ac.uk](mailto:hzhu@brookes.ac.uk)

Professor of Computer Science

[View profile  for Hong Zhu](https://www.brookes.ac.uk/profiles/staff/hong-zhu)

## Membership

Staff members
Research students

- Staff
- Students

slide 1 of 2

### Staff

| Name | Role | Email |
| --- | --- | --- |
| [Dr Peter Ball](https://www.brookes.ac.uk/profiles/staff/peter-ball) | Reader in Knowledge Transfer in Computing and Electronics | [pball@brookes.ac.uk](mailto:pball@brookes.ac.uk) |
| [Dr Kashinath Basu](https://www.brookes.ac.uk/profiles/staff/kashinath-basu) | Senior Lecturer in Computer Science | [kbasu@brookes.ac.uk](mailto:kbasu@brookes.ac.uk) |
| [Dr Ian Bayley](https://www.brookes.ac.uk/profiles/staff/ian-bayley) | Senior Lecturer in Computer Science | [ibayley@brookes.ac.uk](mailto:ibayley@brookes.ac.uk) |
| [Dr Mark Green](https://www.brookes.ac.uk/profiles/staff/mark-green) | Senior Lecturer | [mgreen@brookes.ac.uk](mailto:mgreen@brookes.ac.uk) |
| [Dr Muhammad Hilmi Kamarudin](https://www.brookes.ac.uk/profiles/staff/muhammad-hilmi-kamarudin) | Senior Lecturer in Cyber Security | [mkamarudin@brookes.ac.uk](mailto:mkamarudin@brookes.ac.uk) |
| [Mr David Lightfoot](https://www.brookes.ac.uk/profiles/staff/david-lightfoot) | Senior Lecturer in Computing | [dlightfoot@brookes.ac.uk](mailto:dlightfoot@brookes.ac.uk) |
| [Dr Manny Niri](https://www.brookes.ac.uk/profiles/staff/manny-niri) | Senior Lecturer in Computer Science and Cyber Security | [mniri@brookes.ac.uk](mailto:mniri@brookes.ac.uk) |
| [Dr Tjeerd Olde Scheper](https://www.brookes.ac.uk/profiles/staff/tjeerd-olde-scheper) | Associate Professor | [tvolde-scheper@brookes.ac.uk](mailto:tvolde-scheper@brookes.ac.uk) |
| [Dr Shumao Ou](https://www.brookes.ac.uk/profiles/staff/shumao-ou) | Senior Lecturer | [sou@brookes.ac.uk](mailto:sou@brookes.ac.uk) |
| [Professor Muhammad Younas](https://www.brookes.ac.uk/profiles/staff/muhammad-younas) | Professor of Computer Science | [m.younas@brookes.ac.uk](mailto:m.younas@brookes.ac.uk) |

## Projects

Active projects
Completed projects

- Active projects
- Completed projects

slide 1 of 2

### Active projects

| Project title and description | Investigator(s) | Funder(s) | Dates |
| --- | --- | --- | --- |
| **Big data management in NoSQL and cloud**  This project is developing a new transaction model which provides NoSQL systems with standard transaction support and stronger data consistency for NoSQL and cloud systems. | [Professor Muhammad Younas](https://www.brookes.ac.uk/profiles/staff/muhammad-younas) |  |  |

[Back to top](#top)