Olsen, Bent, Pedagogisk institutt, NTNU, Norge