計算機科學(英語:computer science,有時縮寫為CS)是系統性研究信息與計算的理論基礎以及它們在計算機系統中如何實現與應用的實用技術的學科。它通常被形容為對那些創造、描述以及轉換信息的算法處理的系統研究。計算機科學包含很多分支領域;有些強調特定結果的計算,比如計算機圖形學;而有些是探討計算問題的性質,比如計算復雜性理論;還有一些領域專注於怎樣實現計算,比如編程語言理論是研究描述計算的方法,而程序設計是應用特定的編程語言解決特定的計算問題,人機交互則是專注於怎樣使計算機和計算變得有用、好用,以及隨時隨地為人所用。
計算機科學中的理論部分在第一台數字計算機出現以前就已存在。計算機科學根植於電子工程、數學和語言學,是科學、工程和藝術的結晶。它在20世紀最后的三十年間興起成為一門獨立的學科,並發展出自己的方法與術語。
那么在計算機科學領域里都有哪些大佬呢?隨編程獅小編一起盤點下吧~
阿里·艾達爾(Ali Aydar)
阿里·艾達爾是一位計算機科學家和互聯網企業家。他是 Sporcle 的首席執行官。他最出名的身份是 Napster 的早期雇員和關鍵技術貢獻者。艾達爾購買了 Fanning 的第一本有關 C ++ 編程的書,這是兩年后他用來構建 Napster 文件共享軟件的語言。
艾倫·圖靈(Alan Turing)
艾倫·圖靈(1912年6月23日至1954年6月7日)是一位英國數學家和計算機科學家,他對算法和計算的概念進行了形式化。圖靈被廣泛認為是理論計算機科學和人工智能之父。他於1936年發明了著名的Turing機器,該機器被認為是通用計算機的模型。
安妮塔·博格(Anita Borg)
安妮塔·博格(1949年1月17日至2003年4月6日)是美國計算機科學家。她成立了婦女與技術研究所(現為安妮塔·博格婦女與技術研究所)。在 Digital Equipment 期間,她開發了一種方法,並獲得了一種用於生成完整地址跟蹤信息的方法的專利,該方法可用於分析和設計高速存儲系統。
阿爾弗雷德·阿霍(Alfred Aho)
阿爾弗雷德·阿霍(1941年8月9日出生)是加拿大計算機科學家,以其在編程語言,編譯器和相關算法方面的工作以及有關計算機編程藝術和科學的教科書而聞名。阿霍在多倫多大學獲得工程物理學學士學位。
比尼亞·斯特魯斯特魯普(Bjarne Stroustrup)
比尼亞·斯特魯斯特魯普(出生於1950年12月30日)是丹麥的計算機科學家,最著名的事跡是創建和開發了廣泛使用的 C ++ 編程語言。他是傑出的研究教授,並擔任工程學院計算機科學系主任。
比爾蓋茨(Bill Gates)
比爾·蓋茨(生於1955年10月28日)是美國商業大亨,慈善家,投資者,計算機程序員和發明家。蓋茨是微軟的前首席執行官兼董事長,他與保羅·艾倫共同創立的微軟是世界上最大的個人計算機軟件公司。
布魯斯·雅頓(Bruce Arden)
布魯斯·雅頓(1927年生於明尼蘇達州明尼阿波利斯)是美國計算機科學家。他於1949年畢業於普渡大學並獲得理學學士(EE)學位,並於1950年開始在通用汽車公司艾里遜分公司的 IBM 混合(機械和電子)卡編程計算機/計算器的接線和編程工作,開始了他的計算機職業生涯。
布倫丹·艾希(Brendan Eich)
布倫丹·艾希(生於1960年或1961年)是一位美國技術專家,也是 JavaScript 腳本語言的創建者。他與他人共同創立了 Mozilla 項目,Mozilla 基金會和 Mozilla 公司,並擔任 Mozilla 公司的首席技術官和簡短的首席執行官。
巴里·勃姆(Barry Boehm)
巴里·勃姆(出生於1935年)是美國軟件工程師,計算機科學,工業和系統工程學的著名教授,TRW 軟件工程學的教授。他以在軟件工程領域的許多貢獻而聞名。
伯特·波斯(Bert Bos)
伯特·波斯(出生於1963年11月10日,荷蘭海牙)是計算機科學家。他在格羅寧根大學學習數學,並用腳本語言 Gist 撰寫了有關快速用戶界面開發的博士學位論文。1996年,他加入了萬維網聯盟(W3C)來研究級聯樣式表(CSS)。
布萊恩·坎特里(Bryan Cantrill)
布萊恩·坎特里(生於1973年)是美國軟件工程師,曾在 Sun Microsystems 和后來收購 Oracle 的 Oracle Corporation 任職。Cantrill 因此 DTrace 的開發而被列入 TR35 名單,DTrace 是 OS Solaris 10 的功能,為實時跟蹤和診斷軟件提供了一種非侵入性的手段。他目前是 Joyent 的首席技術官。
查爾斯·巴貝奇 (Charles Babbage)
查爾斯·巴貝奇 FRS(1791年12月26日至1871年10月18日)是英國的多面手。他是一位數學家,哲學家,發明家和機械工程師,他因提出了可編程計算機的概念而廣為人知。
丹尼斯·里奇 (Dennis Ritchie)
丹尼斯·里奇(1941年9月9日至2011年10月12日)是美國計算機科學家。他創建了 C 編程語言,並與長期的同事 Ken Thompson 一起創建了 Unix 操作系統。里奇(Ritchie)和湯普森(Thompson)於 1983年獲得了 ACM 頒發的圖靈獎。
戴維·布朗 (David J. Brown)
戴維·布朗是美國計算機科學家。他是一個在斯坦福大學幫助開發系統的小組成員之一,后來創建了 Sun Microsystems,后來在 1982年創建了 Silicon Graphics。他為 Sun 的主要系統軟件產品 Solaris 定義了應用程序二進制接口。
埃德加·科德 (Edgar F. Codd)
埃德加·科德(1923年8月19日至2003年4月18日)是一位英國計算機科學家,在 IBM 工作期間,他發明了數據庫管理的關系模型,這是關系數據庫的理論基礎。他為計算機科學做出了其他有價值的貢獻。
弗朗西斯·艾倫 (Frances Allen)
弗朗西斯·艾倫(出生於1932年8月4日)是美國計算機科學家,也是優化編譯器領域的先驅。她的成就包括在編譯器,代碼優化和並行化方面的開創性工作。她還在編程語言的情報工作中發揮了作用。
戈登·貝爾 (Gordon Bell)
戈登·貝爾(出生於1934年8月19日)是美國電氣工程師兼經理。Bell 是數字設備公司(DEC)1960–1966的早期雇員,設計了幾台 PDP 機器,后來成為 1972-1983年的工程副總裁,負責監督 VAX 的開發。
格雷戈里·柴廷 (Gregory Chaitin)
格雷戈里·柴廷(1947年11月15日生於阿根廷)是阿根廷裔美國數學家和計算機科學家。從 1960年代后期開始,Chaitin 為算法信息論和元數學做出了貢獻,特別是等效於 Godel 不完全性定理的計算機理論結果。
詹姆斯·高斯林 (James Gosling)
詹姆斯·高斯林 OC(出生於1955年5月19日)是加拿大計算機科學家,最著名的是 Java 編程語言之父。1977年高斯林從卡爾加里大學獲得計算機科學理學學士學位。
約翰·巴克斯 (John Backus)
約翰·巴克斯(1924年12月3日至2007年3月17日)是美國計算機科學家。他領導的團隊發明了第一種被廣泛使用的高級編程語言(FORTRAN),並且是 Backus-Naur 形式(BNF)的發明者,該形式被廣泛用於定義形式語言語法。
喬恩·克羅克羅夫特 (Jon Crowcroft)
約翰·克羅克羅夫特( 1957年11月23日出生)是劍橋大學計算機實驗室的通信系統馬可尼教授。喬恩·克羅克羅夫特(Jon Crowcroft)教授以其對互聯網發展的許多重大貢獻而著稱。他在1980年代有關衛星鏈路互連技術的工作為農村寬帶鋪平了道路。
拉里·佩奇 (Larry Page)
拉里·佩奇(1973年3月26日出生)是美國商業大亨和計算機科學家,與謝爾蓋·布林(Sergey Brin)一起是 Google 的共同創始人。2011年4月4日,Page 接替 Eric Schmidt 擔任 Google 首席執行官。截至2014年,佩奇的個人財富估計為32美元。30億,在福布斯富豪榜上排名第19。
拉里·沃爾 (Larry Wall)
拉里·沃爾(生於1954年9月27日)是一位計算機程序員和作家,最著名的是 Perl 編程語言和 Camelia 的創建者,而 Camelia 是 Perl 6 的敏捷代言人。 1976年在西雅圖太平洋大學開始高等教育之前。
萊納斯·托瓦爾茲 (Linus Torvalds)
萊納斯·托瓦爾茲(出生於1969年12月28日)是一位芬蘭美國軟件工程師,他以 Linux 內核的設計和開發而聞名。他與山中伸彌(Shinya Yamanaka)一起獲得了由芬蘭技術學院頒發的 2012年千禧技術獎,以表彰他為計算機創建了導致廣泛使用的 Linux 內核的新型開源操作系統。
路易斯·馮·安 (Luis Von Ahn)
路易斯·馮·安(生於1979年)是危地馬拉的企業家,也是卡內基梅隆大學計算機科學系的副教授。他是眾包的先驅之一。他是 reCAPTCHA 公司的創始人,該公司於2009年被 Google 收購,並且是流行的語言學習平台多鄰國(Duolingo) 的聯合創始人兼首席執行官。
盧卡·卡德利(Luca Cardelli)
盧卡·卡德利 FRS 是一位意大利計算機科學家,是英國劍橋微軟研究院的助理總監。Cardelli 以類型理論和操作語義方面的研究而聞名。除其他貢獻外,他還幫助設計了 Modula-3,並為(非純)功能編程語言 ML 實現了第一個編譯器。
邁克爾·戴爾 (Michael Dell)
邁克爾·戴爾(1965年2月23日出生)是美國商業大亨,投資者,慈善家和作家。他被稱為戴爾公司的創始人兼首席執行官,戴爾公司是全球領先的個人計算機(PC)銷售商之一。
邁克爾·德圖佐斯 (Michael Dertouzos)
邁克爾·德圖佐斯(1936年11月5日至2001年8月27日)在1974年至2001年期間擔任麻省理工學院教授和麻省理工學院計算機科學實驗室(LCS)主任。在德圖佐斯任期內,LCS 在各個領域進行了創新。 ,包括 RSA 加密,電子表格,NuBus,X Window 系統和 Internet。
莫里斯·文森特·威爾克斯 (Maurice Vincent Wilkes)
莫里斯·文森特·威爾克斯(1913年6月26日至2010年11月29日)是英國計算機科學家,在計算領域取得了一些重要進展。威爾克斯去世時,他是劍橋大學的名譽教授。他獲得了許多榮譽。
內洛·克里斯蒂安尼(Nello Cristianini)
內洛·克里斯蒂安尼(生於1968年)是布里斯托大學(University of Bristol)的人工智能教授,曾獲得英國皇家學會沃爾夫森研究優異獎。他在機器學習,人工智能和生物信息學等不同領域的研究貢獻。具體來說,他的工作集中在學習算法的統計分析上。
菲利普·唐·埃斯特里奇 (Philip Don Estridge)
菲利普·唐·埃斯特里奇(1937年6月23日至1985年8月2日),被稱為 Don Estridge,領導了原始 IBM 個人計算機(PC)的開發,因此被稱為“ IBM PC之父”。他的決定極大地改變了計算機行業,導致買賣個人計算機的數量大大增加。
菲利普·馬特豪斯·哈恩 (Philip Matthaus Hahn)
菲利普 (1739年11月25日在斯查恩豪森至1790年5月2日在埃赫特丁根)是一位德國牧師和發明家。大約在 1763 年,他發明了一種精確的日晷,或稱日晷,其中包含了對均時差的校正。
珀·布朗奇·漢森 (Per Brinch Hansen)
珀·布朗奇·漢森(1938年11月13日至2007年7月31日)是丹麥裔美國計算機科學家,以並發編程理論而聞名。1970年,在 Ole-Johan Dahl 和 Kristen Nygaard 的編程語言 Simula 67 的啟發下,他對計算機科學的研究專注於並發編程,他在 1972年發明了顯示器概念。
拉斯穆斯·萊爾多夫 (Rasmus Lerdorf)
拉斯穆斯·萊爾多夫(出生於1968年11月22日)是具有加拿大國籍的格陵蘭語程序員。他創建了 PHP 腳本語言,創作了該語言的前兩個版本,並參與了由包括 Jim Winstead 在內的一組開發人員領導的更高版本的開發。
理查德·斯托曼 (Richard Stallman)
理查德·斯托曼 (1953年3月16日出生)是美國人,是軟件自由主義者和計算機程序員。他以啟動 GNU 項目,建立自由軟件基金會,開發 GNU 編譯器集合和 GNU Emacs 以及編寫 GNU 通用公共許可證而聞名。
羅伯特·博耶 (Robert S.Boyer)
羅伯特·博耶是德克薩斯大學奧斯汀分校的計算機科學,數學和哲學系退休教授。他和 J Strother Moore 於1977年發明了 Boyer-Moore 字符串搜索算法,這是一種特別高效的字符串搜索算法。他和 Moore 還在1992年合作研究了 Boyer-Moore 自動定理證明器 Nqthm。
羅伯特·鮑勃·卡恩 (Robert Bob Kahn)
羅伯特·鮑勃·卡恩(1938年12月23日出生)是一位美國工程師,被譽為“互聯網之父”之一,與美國互聯網先驅溫特·瑟夫(Vint Cerf)分享了這一稱號。1997年12月,卡恩(Kahn)和瑟夫(Cerf)因建立和開發互聯網而獲得了美國國家技術勛章。Kahn 是 TCP / IP 協議(互聯網上最重要的通信協議)的共同發明者。他負責發起DARPA的Internet程序。
2004年,卡恩(Kahn)榮獲了著名的ACM艾倫·M·圖靈(Alan M. Turing)獎。2005年,他獲得了總統自由勛章-美國最高的平民獎。
薩比爾·巴蒂亞(Sabeer Bhatia)
薩比爾·巴蒂亞於1968年12月30日出生在昌迪加爾。他在班加羅爾長大,在普納的畢曉普學校和班加羅爾的聖約瑟夫男孩中學接受早期教育。Sabeer Bhatia 是美國印第安人企業家,他創立了 Hotmail 電子郵件服務和 Jaxt。
謝爾蓋·布林 (Sergey brin)
謝爾蓋·布林(出生於1973年8月21日)是美國計算機科學家和互聯網企業家,他與拉里·佩奇(Larry Page)共同創立了 Google,這是最賺錢的互聯網公司之一。截至2014年6月,他的個人財富估計為 300億美元。布林和佩奇共同擁有公司約 16%的股份。
謝爾蓋·阿比特布爾 (Serge Abiteboul)
謝爾蓋·阿比特布爾是一位計算機科學家,致力於數據管理,數據庫理論和有限模型理論領域。他目前是法國國家信息和自動化研究所(INRIA)的高級研究員,該研究所專注於計算機科學和相關領域,並且是法國學院的教授。
史蒂夫·喬布斯 (Steve Jobs)
史蒂夫·喬布斯是蘋果計算機公司的聯合創始人,眾所周知,他是美國發明家,他在1970年代和1980年代引領了微計算機革命。喬布斯(Jobs)與他的搭檔史蒂夫·沃茲尼亞克(Steve Wozniak)於1976年出生於加利福尼亞州的舊金山,奠定了蘋果計算機公司的基礎。
在史蒂夫(Steve)的領導下,蘋果推出了一系列革命性產品,例如 iPhone,iPod 和 iPad,這些產品對現代技術做出了重大貢獻。史蒂夫(Steve)也被稱為Macintosh的架構師,Macintosh是一種廣泛流行的操作系統,它促進了具有GUI的計算機的大量生產。在與胰腺癌長期斗爭之后,史蒂夫於2011年去世。
蒂姆·伯納斯·李 (Tim Berners Lee)
蒂姆·伯納斯·李(1955年6月8日出生),也被稱為“ TimBL”,是英國的計算機科學家,最著名的是萬維網的發明者。Berners Lee 是萬維網聯盟(W3C)的負責人,該聯盟負責監督 Web 的持續發展。
溫特·瑟夫
范特·瑟夫(Vint Cerf,生於1943年6月23日)是美國互聯網先驅,他被公認為“互聯網之父”之一,與美國工程師鮑勃·卡恩(Bob Kahn)共享此頭銜。他的貢獻屢屢得到認可和稱贊。他幫助開發了第一個連接到Internet的商業電子郵件系統(MCI Mail)。
以上就是 w3cschool 為您整理的計算機科學領域的大佬們,你認識幾個呢?
