My research interests are in software engineering with a particular focus on improving the quality of software.

Much of my work focuses on modelling software in terms of its features and on detecting, resolving, and managing feature interactions -- where the goal is to support the rapid development of new features / services / modular components that are oblivious of each other yet interoperate well. Applications of this work include feature-rich systems, systems-of-systems, and Internet of Things. My group develops theories of composition, analyses to detect feature interactions, architectures to coordinate features and resolve interactions, and proof systems for interoperability.