英國一直在計算機和信息技術(shù)領(lǐng)域處于世界領(lǐng)先地位。每年，都有大量集成電路、電信以及網(wǎng)絡(luò)通信領(lǐng)域內(nèi)的重大突破和發(fā)現(xiàn)出自英國科學家之手。英國的計算機科學是一門包含各種各樣與計算和信息處理相關(guān)主題的系統(tǒng)學科，從抽象的算法分析、形式化語法，到更具體的編程語言、程序設(shè)計、軟件和硬件等，可謂包羅萬象。作為一門學科，它與數(shù)學、計算機程序設(shè)計、軟件工程和計算機工程有顯著的不同，卻又與這些學科之間存在不同程度的交叉和覆蓋，從而衍生出諸多不同的分支。

計算機科學，研究計算機及其周圍各種現(xiàn)象和規(guī)律的科學，亦即研究計算機系統(tǒng)結(jié)構(gòu)、程序系統(tǒng)（即軟件）、人工智能以及計算本身的性質(zhì)和問題的學科。主要是對信息技術(shù)的研究。在人工智能和算法技術(shù)發(fā)展前景普遍被看好的心理預期下，計算機科學專業(yè)的吸引力也越來越大。

計算機科學研究的課題是：計算機程序能做什么和不能做什么(可計算性); 如何使程序更高效的執(zhí)行特定任務(wù)(算法和復雜性理論); 程序如何存取不同類型的數(shù)據(jù)(數(shù)據(jù)結(jié)構(gòu)和數(shù)據(jù)庫); 程序如何顯得更具有智能(人工智能); 人類如何與程序溝通(人機互動和人機界面)。