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.
Mesin Turing
Mesin Turing adalah model komputasi teoretis yang ditemukan oleh Alan Turing, berfungsi sebagai model ideal untuk melakukan perhitungan matematis. Walaupun model ideal ini diperkenalkan sebelum komputer nyata dibangun, model ini tetap diterima kalangan ilmu komputer sebagai model komputer yang sesuai untuk menentukan apakah suatu fungsi dapat selesaikan oleh komputer atau tidak (menentukan "computable function"). Mesin Turing terkenal dengan ungkapan " Apapun yang bisa dilakukan oleh Mesin Turing pasti bisa dilakukan oleh komputer."