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

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