Om

Velkommen til min hjemmeside. Hvis du er interessert i hva jeg gjør, ta en titt omkring. Jeg er førsteamanuensis i informatikk ved Universitetet i Oslo og gjesteforsker ved UC Berkeley, California. [les mer →]

Foredrag

Jeg liker å holde inspirerende og underholdende foredrag om en rekke forskjellige temaer, fra matematikk og informatikk til filosofi og kunst, hvor jeg forsøker å utfordrer publikum til å stille spørsmål ved sine perspektiver og tenke annerledes. [les mer →]

Undervisning

Jeg underviser matematikk og informatikk ved Universitetet i Oslo, med hovedvekt på kurset Logiske metoder. [les mer →]

Forskning

Mine akademiske interesser er hovedsaklig logiske kalkyler, bevisteori, matematisk logikk, kompleksitetsteori, cellulære automater, kombinatorikk og matematikkfilosofi, men jeg er også interessert i algoritmisk kunst, grafikk og visualiseringer. [les mer →]

Bøker

Les om mine bøker: Logiske metoder: Kunsten å tenke abstrakt og matematisk og Studiebok til Logiske metoder, begge utgitt på Universitetsforlaget. [les mer →]

Kunst

Skisser, eksperimenter og kunst. Jeg liker å lage ting som både har matematisk innhold og som er tilfredsstillende å se på. [les mer →]