Cook [kuk], Stephen Arthur, född 1939, datalog, professor i Toronto sedan 1970, som 1971 formulerade och bevisade en central sats inom komplexitetsteorin: satisfierbarhetsproblemet är NP-fullständigt (Cooks sats).