I’ve been involved in various funded projects in the UK, Ireland, and across the EU. Software I’ve developed is covered elsewhere.

• Science of Sensor Systems Software (S4): top-to-bottom analysis and verification of sensor-driven systems
• 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