"Geir Botnen"@cs .