Ada Lovelace
Ada kemudian membantu Babbage menulis program komputer pertama di dunia yang diciptakan lewat mesin ciptaan Babbage yang bernama Analytical Engine. Dalam hal ini, peran besar Ada adalah menerjemahkan artikel Luigi Menabrea, seorang matematikawan Italia. Ada juga menulis penjelasan awal tentang komputer dan perangkat lunak, serta menambahkan catatan mengenai metode kalkulasi nomor Bernoulli pada mesin yang dikembangkan Babbage tersebut. Karena hal itulah Ada dikenal sebagai programmer komputer pertama di dunia.
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).