PAST Projects
The research group MASE has been 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.
The Foundations of Computing group has been leading the following projects