Research & Projects

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.