אלן טיורינג (Alan Turing)

טיורינג ניסח בשנות ה-30 וה-40 את התשתית התיאורטית למחשב הדיגיטלי — "מכונת טיורינג", מודל מתמטי מופשט שמגדיר מהו "חישוב" באופן פורמלי, עדיין בסיס תיאורטי למדעי-המחשב כולם.

במאמרו מ-1950 הציע טיורינג את מה שהפך למוכר כ"מבחן טיורינג" — מבחן להערכת יכולת-חשיבה של מכונה. עבודתו במלחמת-העולם השנייה בפיצוח צפני-אניגמה הייתה משמעותית גם היא, אם כי סווגה במשך עשורים.