"Erik Kristiansen"@cs .