.jpg)
The PhD defence will be partially digital, in Kristen Nygaards sal (5370), Ole Johan Dahls hus, and streamed directly using Zoom. The host of the session will moderate the technicalities while the chair of the defence will moderate the disputation.
Ex auditorio questions: the chair of the defence will invite the attending audience at Kristen Nygaards sal (5370), Ole Johan Dahls hus to ask ex auditorio questions.
- Join the disputation
- Download Zoom
Trial lecture
“Non-stochastic Automata Learning.”
Time and place: November 27, 2025 10:15 AM. Kristen Nygaards sal (5370), Ole Johan Dahls hus / ZOOM
Main research findings
Virtually every aspect of modern life involves a digital service, from listening to music or watching a show, to applying for a loan. In these services, the users' impressions and feedback are crucial for success. Due to the immediate effect on the users, the requirements on the quality and interpretability of service analysis are high. While manual service analysis techniques are highly efficient in revealing service improvements, they are also very labour-intensive. Digitalization in services is still growing and constantly adapting services at an unprecedented speed, their analysis can be accomplished best by automated techniques.
This thesis presents a data-driven formal method for user-centric service analysis. The presented method enables the automated construction of formal game-theoretic service models from recorded logs. Leveraging model checking results enables the detection of trends and changes, and optimization problems provide explanations for the outcome of the service by considering "what-if'' scenarios.
Adjudication committee
- Professor Marielle Stoelinga, University of Twente, Nederland
- Professor David Parker, University of Oxford, UK
- Associate Professor Anne-Marie George, Department of Informatics, University of Oslo, Norway
Supervisors
Associate Professor Silvia Lizeth Tapia Tarifa,Department of Informatics, University of Oslo, Norway Norway
Professor Einar Broch Johnsen, Department of Informatics, University of Oslo, Norway
Seniorforsker Ragnhild Halvorsrud, Sintef, Norway
Chair of defence
- Professor Antonio Martini, Department of Informatics, University of Oslo
Contact information at Department: Mozhdeh Sheibani Harat