Under den andre verdenskrig var han en av Kirkeneslærerne, som ble arrestert og deportert til Kirkenes (1942). Derpå virket han ved Pedagogisk seminar ved UiO (1946–52) og ble senere rektor (1953). Han ble formann i Norsk Seksjon for ny Oppdragelse (1950). Han var redaktør i Norsk Matematisk Tidsskrift (1945–52) og Nordisk Matematisk Tidsskrift (1953–61). Derpå var han en pådriver i Nordic committee for the modernisation of mathematics teaching (1960–67).