Andrea Pferscher

Our paper Stochastic Games for User Journeys has been presented at the 26^th international symposium on Formal Methods in Milan, Italy.

In this paper, co-authored with Paul Kobialka, Gunnar R. Bergersen, Einar Broch Johnsen and S. Lizeth Tapia Tarifa, we show how we can automatically generate stochastic user journey games from event logs of user behavior. We then use these games to gain more insights into service bottlenecks using model checking methods.

I was invited to take part in the annual colloquium for the GI Dissertation Prize with my dissertation. This colloquium honors the best dissertations of the past year in German-speaking countries: Germany, Austria and Switzerland.

I joined the Reliable Systems (PSY) group at the University of Oslo. I will work as postdoctoral research fellow in the interdisciplinary project A digital twin for the Oslo Fjord.