The group aims at producing concrete solutions to problems in a range of research areas, including:
- Domain Specific Languages
- Modelling, Model analysis and Model-based Verification
- Verification and Validation
- Internet-of-Things
- Middleware
- Robotics and ROS
- Industrial Informatics
- Multi-Agent Systems
- Manufacturing and Production Systems
- Software-defined Networks
- Security
- Software Architectures
- Software Engineering for Data Science
The group is currently involved in various projects, including:
- EPSRC project VRBMAS (Verification or Resource-Bounded Multi-Agent System)
- Nominet Trust project MAYOT (supporting care workers and young people in Youth Offending Teams)
- Formal Verification of next-generation air transportation systems (NextGen, in collaboration with NASA Ames)
- SensoLAB, a laboratory at Middlesex University to build and test software, middleware and network applications for Wireless Sensor Networks.