Software Systems Group Research
Key Projects
Our main projects and research activities are:
- Trustworthy Systems
- The seL4 Microkernel
- Provably Correct Business Rules and Processes
- Business Adaptation and Interoperation
- Business Process Compliance
See here for the full list of current and past projects in Software Systems.