3 ms·Perhaps you mean Tim Cook? Steve Cook is the famous computer scientist who proved that SAT is NP-Complete.by thesteamboat 15y agoPerhaps you mean Tim Cook? Steve Cook is the famous computer scientist who proved that SAT is NP-Complete.