Projects
I've been involved in various funded projects in the UK, Ireland, and across the EU. There are also some software-only projects covered elsewhere.
Current projects
- Science of Sensor Systems Software (S4): top-to-bottom analysis and verification of sensor-driven systems
Older funded projects
- Sapere: large-scale pervasive service ecosystems
- GLOSS: global-scale pervasive systems
- NEMBES: embedded sensor systems in the built environment
- Clarity: the Irish centre for data analytics and sensing
- LERO: the Irish software engineering research centre
- Towards a semantics of pervasive computing: the foundations of pervasive systems