Alan Turing adalah salah satu teoritisi terkemuka dalam bidang ilmu komputer digital pada tahun 1930-an, 1940-an, dan tahun 1950-an. Sepanjang hidupnya, ia menggunakan matematika sebagai cara untuk menyelidiki alam, termasuk pemikiran manusia, bekerja seperti sebuah mesin. Ia umumnya dikenal sebagai pendiri bidang kecerdasan buatan.

Turing lahir di London, Inggris. Dulu ayahnya adalah seorang pegawai negeri kolonial dan ibunya berasal dari keluarga ilmiah. Turing menerima gelar sarjana matematika di Universitas Cambridge pada tahun 1935. Ia menghabiskan tiga tahun berikutnya untuk bekerja di Universitas Princeton, di mana ia bekerja dengan logika Alonzo Church.

Sementara di Princeton, Turing mendefinisikan mesin teoretis yang menggunakan kode biner untuk memecahkan masalah matematika atau melaksanakan serangkaian instruksi satu langkah pada satu waktu. Dimana Mesin tersebut dapat bekerja dengan hanya menggunakan beberapa kondisi tertentu.

Turing juga membuktikan secara logis bahwa beberapa masalah tidak dapat diselesaikan oleh mesin semacam itu. Dia segera tahu bahwa beberapa teoretisi lain telah merancang sistem mereka sendiri untuk menghasilkan bukti yang sama kuat. Salah satunya adalah Gereja lambda (&lgr;) kalkulus, yang sekarang digunakan intelijen pemrograman. Mesin Turing menjadi titik awal teori automatis modern dan mesin logika lainnya.

Selama Perang Dunia II, Turing membantu mendesain komputer seperti beberapa perangkat , contoh seri Colossus, yang melanggar kode militer Jerman yang diproduksi dengan mesin sandi Enigma. Sementara perang sedang berlangsung, Turing lmenghabiskan beberapa waktunya di Amerika Serikat, kemungkinan dia berunding dengan matematikawan John von Neumann dari Institute for Advanced Studies di Princeton, New Jersey, yang bekerja pada perancangan komputer.
Setelah tahun 1945, ketika perang berakhir, Turing merancang mesin penghitug otomatis dengan nama the Automatic Computing Engine (ACE) di laboratorium Nasional Fisika Inggris. Namun, teknologi yang ada masih kurang mememadai dan konstruksi komputer sangat lambat.

Pada tauhn 1948 ia bergabung dengan fakultas di Universitas Manchester, di mana ia mengalihkan usahanya ke sifat intelijen dan informasi. Seperti Amerika Norbert Wiener (1894-1964), pendiri sibernetika, Turing percaya bahwa kecerdasan dalat mengolah informasi, dan bahwa pemikiran manusia dan operasi mesin yang cerdas hanya dibedakan dengan satuan derajat. Ia yakin bahwa seperti sensor buatan melakukan operasi yang sama layaknya seperti gerakan manusia, kamera pada mata, dan komputer yang dapat menjalankan fungsi layaknya seperti otak manusia.

Pada tahun 1950, Turing menciptakan sebuah percobaan mesin cerdas: Jika seseorang yang berpengetahuan luas tidak memberitahukan apakah sebuah masalah dapat diselesaikan oleh manusia ataukah oleh Kompter, maka komputer yang dapat memecahkan masalah tersebut dikatakan sebagai Mesin cerdas. Akhira-akhir ini beberapa orang masih mencoba untuk merancang komputer dan program yang dapat melewati tes Turing. Namun tidak semua siswa yang berasal dari arficial intelligence mendukung definisi yang dikemukanan oleh Turing. dimana beberapa orang percaya bahwa pemikiran manusia melibatkan lebih dari proses perhitungan sendiri.

Selain itu Turing juga meneliti aspek-aspek matematis interaksi biologis. Dia diangkat menjadi Fellow dari Royal Society pada tahun 1951.