Han er logiker, matematiker, informatiker, foredragsholder, forfatter og vitenskapsformidler. Han jobber som førsteamanuensis på UiO, der han underviser i logiske metoder.
Han er logiker, matematiker, informatiker, foredragsholder, forfatter og vitenskapsformidler. Han jobber som førsteamanuensis på UiO, der han underviser i logiske metoder.
Realfagsdagene er et arrangement arrangert av Delta, linjeforeningen for matematikk og fysikk ved NTNU.
Neste Realfagsdagene arrangeres 12.-14. mars 2025.