Stål Aanderaa

Stål Aanderaa er en norsk matematiker. Han ble mag.scient. i 1959 og tok doktorgrad ved Harvard University i 1966, og har vært professor ved Universitetet i Oslo siden 1978.

Aanderaa har ytt betydelige bidrag til matematisk logikk, der han først og fremst har arbeidet med logiske avgjørbarhetsproblemer og generell algoritme- og rekursjonsteori.

Aanderaa–Karp–Rosenberg-hypotesen har betydning i IT.