কম্পিউটার বিজ্ঞানের ইতিহাস
এরপর ১৯৪৮ সালে আসে দুনিয়ার প্রথম স্টোরড্-প্রোগ্রাম কম্পিউটার যা মেমরিতে স্টোর করা প্রোগ্রাম বা নির্দেশাবলী নির্বাহ করতে পারতো। ম্যাঞ্চেস্টার বিশ্ববিদ্যালয়ের রয়্যাল সোসাইটি কম্পিউটার মেশিন ল্যাবরেটরী-এর প্রতিষ্ঠাতা ম্যাক্স নিউম্যানের অনুপ্রেরণায় ফ্রেডেরিক উইলিয়ামস, টম কিলবার্ন ও জিওফ টুটিল এই তিনজন গবেষক ট্যুরিং মেশিনের কার্যনীতির উপর ভিত্তি করে ম্যাঞ্চেস্টার এসএসইএম বা ম্যাঞ্চেস্টার বেবি(ডাকনাম)নামক এই কম্পিউটারটি তৈরী করা হয়।
লিস্প (প্রোগ্রামিং ভাষা)
মূলত কম্পিউটার প্রোগ্রামকে আলোন্‌জো চার্চের ল্যাম্‌ডা ক্যালকুলাসের উপর ভিত্তি করে ব্যবহারিক গাণিতিক নোটেশনে প্রকাশ করার জন্য লিস্প উদ্ভাবন করা হয়েছিল । এটা খুব দ্রুতই কৃত্রিম বুদ্ধিমত্তা গবেষকদের পছন্দের প্রোগ্রামিং ভাষা হয়ে উঠে। প্রথম দিককার প্রোগ্রামিং ভাষাগুলির মধ্যে একটি ছিল বলে লিস্প কম্পিউটার বিজ্ঞানের অনেক ধারণাকে প্রাথমিকভাবে এগিয়ে নিয়ে গেছে, যার মধ্যে রয়েছে ট্রি ডেটা স্ট্রাকচার, এটমিক তথ্য ব্যবস্থাপনা, ডাইনামিক টাইপিং, অবজেক্ট ওরিয়েন্টেড প্রোগ্রামিং এবং সেলফ-হোস্টিং কম্পাইলার।
জন ম্যাকার্থি ১৯৫৮ সালে এম. আই. টি তে অধ্যাপনা করা অবস্থায় লিস্প আবিস্কার করেন। এ সি এম কমিউনিকেশন জার্নালে তিনি এটার কাঠামো একটা প্রবন্ধ হিসাবে প্রকাশ করেন।