1960年發(fā)布了使他聞名于世的快速排序算法（Quick Sort），這個算法也是當(dāng)前世界上使用最廣泛的算法之一。Tony Hoare在取得博士學(xué)位后，就職于Elliott Brothers，領(lǐng)導(dǎo)了Algol 60第一個商用編譯器的設(shè)計與開發(fā)，由于其出色的成績，最終成為該公司首席科學(xué)家。

從1977年開始，Tony Hoare博士任職于牛津大學(xué)，投身于計算系統(tǒng)的精確性的研究、設(shè)計及開發(fā)。因其對Algol 60程序設(shè)計語言理論、互動式系統(tǒng)及APL的貢獻(xiàn)，1980年被美國計算機(jī)協(xié)會授予“圖靈獎”。1999年從牛津大學(xué)退休后，Tony Hoare博士被微軟劍橋研究院聘請擔(dān)任高級程序員，從事微軟劍橋研究院研究生成果的工業(yè)化應(yīng)用的工作，以及協(xié)助其它研究人員進(jìn)行服務(wù)于軟件產(chǎn)業(yè)及用戶的長期基礎(chǔ)研究項(xiàng)目。2000年Hoare因?yàn)槠湓谟嬎銠C(jī)科學(xué)與教育上做出的貢獻(xiàn)被封為爵士。

他的獲獎記錄包括：于1980年獲得美國計算機(jī)學(xué)會(ACM)設(shè)立的計算機(jī)界最高獎——圖靈獎，2000年獲得日本稻盛財團(tuán)設(shè)立的國際大獎——京都獎(尖端技術(shù)領(lǐng)域)。同年，英國女王伊麗莎白二世授予Tony Hoare爵士爵位，以表彰他對計算機(jī)科學(xué)所做出的巨大貢獻(xiàn)。

1960年，霍爾進(jìn)入Elliott兄弟倫敦公司，成為一名程序員。他接到的第一個任務(wù)，就是為Elliott 803計算機(jī)編寫一個庫程序，實(shí)現(xiàn)新發(fā)明出來的Shell排序算法。在此過程中，霍爾對不斷提升代碼的效率著了迷。他不僅很好地完成了任務(wù)，還發(fā)明了一種新算法，比Shell還快，而且不會多耗費(fèi)太多空間。這就是后來聞名于世的快速排序算法Quicksort。值得一提的是，發(fā)明該算法時他只有26歲。

隨后，霍爾又接到了新任務(wù)——在公司新機(jī)型Elliott 503上實(shí)現(xiàn)Algol 60語言。Elliott Algol的開發(fā)非常順利，大獲成功，霍爾本人也從此受到國際學(xué)術(shù)界的重視。當(dāng)然，對他來說，另一件事情更為重要，他和項(xiàng)目中另一位當(dāng)時比自己更專業(yè)的女程序員Jill Pym相識相知，并最后結(jié)婚。

1968年他到北愛爾蘭女王大學(xué)從事教學(xué)和研究，1977年轉(zhuǎn)入牛津大學(xué)，目前還同時擔(dān)任微軟研究院的研究員。他全身心地投入到計算機(jī)科學(xué)理論的研究中，作出了許多創(chuàng)造性的重大貢獻(xiàn)，尤其是程序設(shè)計理論和操作系統(tǒng)設(shè)計等方面，目前許多廣泛流行與應(yīng)用著的概念都源于霍爾的工作。

1969年10月，霍爾在Communications of the ACM上發(fā)表了有里程碑意義的論文“計算機(jī)程序設(shè)計的公理基礎(chǔ)”。在這篇論文中，霍爾提出了公理語義學(xué)，這是繼1963年用遞歸函數(shù)定義程序，以及在1967年基于程序流程圖的歸納斷言法以后，程序邏輯研究中所取得的又一個重大技術(shù)進(jìn)展。

20世紀(jì)70年代后期，霍爾深入研究并實(shí)現(xiàn)了程序設(shè)計語言CSP，后來成為著名的并行處理語言O(shè)ccam的基礎(chǔ)。80年代中期，霍爾和S. Brools等人合作，提出了“CSP理論”，開創(chuàng)了用代數(shù)方法研究通信并發(fā)系統(tǒng)的先河，形成了“進(jìn)程代數(shù)”這一新的研究領(lǐng)域。1995年他還和我國學(xué)者、中科院院士何積豐合作，提出了統(tǒng)一程序設(shè)計理論。

霍爾發(fā)表過許多高水平的論著。ACM在1983年評選出最近25年中發(fā)表在Communications of the ACM上的有里程碑式意義的25篇經(jīng)典論文，只有2名學(xué)者各有2篇論文入選，霍爾就是其中之一。1972年他與O.J. Dahl和E. W. Dijkstra三位圖靈獎得主合著的Structured Programming一書，更是難以逾越的高峰。

霍爾獲獎無數(shù)，1980年獲得美國計算機(jī)學(xué)會(ACM)設(shè)立的計算機(jī)界最高獎——圖靈獎；1981年獲得AFIPS的Harry Goode獎；1985年獲得英國IEE的法拉第獎?wù)拢?990年被IEEE授予計算機(jī)先驅(qū)獎。2000年獲得日本稻盛財團(tuán)設(shè)立的國際大獎——京都獎(尖端技術(shù)領(lǐng)域)。

2009年3月他在Qcon技術(shù)會議上發(fā)表了題為“Null引用：代價十億美元的錯誤”的演講，回憶自己1965年設(shè)計第一個全面的類型系統(tǒng)時，未能抵御住誘惑，加入了Null引用，僅僅是因?yàn)閷?shí)現(xiàn)起來非常容易。它后來成為許多程序設(shè)計語言的標(biāo)準(zhǔn)特性，導(dǎo)致了數(shù)不清的錯誤、漏洞和系統(tǒng)崩潰，可能在之后40年中造成了十億美元的損失。他在同月出版Communications of the ACM中表示，如何證明程序的正確性仍然是計算機(jī)科學(xué)中有待解決的重大課題。

2021年1月14日，ACM?Fellow名單公布，Tony Hoare在列。