Ved Stabekk videregående skole var han redaktør for bladet . Han ble cand.real. i 1945 etter å ha publisert flere artikler om primtall. Fra 1946 til 1957 var han universitetslektor ved Universitetet i Oslo. I 1953 ble han dr.philos. på en avhandling om diofantiske ligninger. I 1957 ble han professor i ren matematikk ved Universitetet i Bergen. Han ble medlem av Det norske vitenskapsakademi i 1961 og ble ridder av 1. klasse av St. Olavs Orden i 1983. Etter pensjonering i 1990 flyttet han til Ski.