"Mattis Haakensen"@cs .