Oliver SveijerSpring 2026
Topic:Human Behavior Modeling for Scenario based testing for Scenarios of Tomorrow
Master Theses
Uma Shreeya kalidiniSpring 2026
Topic:Evaluation of agentic code generation
Marco Dei RossiSpring 2021
Topic:Automatically Learning Register Automata from MATLAB Code: A case study in autonomous driving
Master Projects
Oskar Begic Johansson, Felix Millqvist, Jakob VinkasAutumn 2020
Topic:Learning Formal Models for Autonomous Driving Development
Carl-Johan Heiker, Jonas Karstrom, Orjan LandgrenAutumn 2019
Topic:Selecting Active Automata Learning Algorithm Based on Model Characteristics
Ramon Tijsse ClaaseAutumn 2019
Topic:3D simulations to validate an algorithm which generates supervisors automatically
Visiting Student
Bjarki Vilmarsson, Jesper Jarnankar, Liting Zhou, Yu Li HuaAutumn 2017
Topic:Handling unlabelled event logs to discover process models in an automotive production line
Bachelor Projects
Marta Bravo, Anton Frigard, Oscar Harmsen, Erik Lund, Svante TrelsmoSpring 2018
Topic:Autonomous Twizy - Simulation and Integration: Development of a simulation tool for autonomous vehicle software using Apollo Auto framework
Amelie Eldh, Marius Grimstad, Johan Lund, Andreas Lofman, Fredrik Macintosh, Sofia SundinSpring 2016
Topic:Tro pa mig - Den avsiktliga roboten
Role: Technical supervisor