A user journey is the experiences a person has when interacting with different systems, typically digital services (e.g., online shopping, tax declaration, online booking, etc.). In this research topic we will use logic-based methods towards the automatize analysis of the user experience when interacting with such services to guide users towards successful journeys. For such purpose, we plan to use executable modelling languages and their associated analysis tools to describe, predict, and prescribe user journeys as concurrent processes. This research topic is part of the ongoing collaboration between SINTEF and IFI.
Suggested coursework
IN5170 - Models of concurrency.
IN5100 - Selected topics in rewriting logic.
IN5110 - Specification and verification of parallel systems.
Related links
Customer journey modeling language (CJML)
"What? Why has no one told me this? ” An analysis of the IT solutions at UiO in a service design perspective. Martine Birketvedt Eklund og Seline Tomt. IFI master thesis 2016