Donald Knuth
Knuth dikenal sebagai pengarang beberapa volume buku "The Art of Computer Programming", salah satu referensi yang paling dihormati dalam ilmu komputer. Dia menciptakan bidang analisis algoritme dan membuat banyak sumbangan penting ke dalam beberapa teori ilmu komputer. Dia juga pencipta sistem pengetikan TX dan sistem desain METAFONT, dan seorang pembuka konsep pemrogaman literate. Ia juga dikenal menawarkan hadiah untuk siapa saja yang menemukan kesalahan di buku-buku yang ia tulis.
Teorema Cook
Teorema Cook adalah suatu teori kompleksitas yang dicetuskan oleh Stephen Cook pada Tahun 1970 pada seminar nya, dengan judul "The Complexity of Theorem Prooving Procedures". Paper ini memperkenalkan teori NP-completeness yang hingga sekarang menjadi pusat dari teori ilmu komputer.
Teori NP-Completeness ini menyediakan suatu cara untuk mengkategorikan persoalan komputasi yang sulit dengan batas waktu, yaitu jumlah maksimal langkah -langkah yang diperlukan untuk menyelesaikan suatu masalah. Pada paper nya, Cook memaparkan fakta bahwa cukup banyak permasalahan yang sulit untuk diselesaikan namun mudah untuk diverifikasi kebenarannya pada kelas P (dalam waktu polinomial).