Human aspects of Computing such as personal and social implications of our digital economy on community values and integrity, and environmental implications regarding sustainability in digital innovations.
Values and frames, particularly applied to digital systems including social media.
Interactions occurring in software systems (feature-oriented development), aspect-oriented software development and formal verification techniques.
Research output: Contribution to journal › Journal article
Research output: Contribution in Book/Report/Proceedings › Chapter
Research output: Contribution in Book/Report/Proceedings › Conference contribution