Can you summarize the following document?
        
  東尼·霍爾的父親是一位公務員,服務於英屬錫蘭。其母親是茶園主人的女兒。  東尼·霍爾在可倫坡出生,在英國本土受教育。1956年,在牛津大學墨頓學院取得西洋古典學學士學位。在大學畢業後,進入英國皇家海軍服兵役18個月,在此學會俄語。1958年退伍後,回到牛津大學,研讀統計學,取得學士後學位。在此期間,開始學習程式設計,他跟著Leslie Fox學習Autocode。為了進一步學習俄語,他以英國文化協會的交換學生身份,至蘇聯莫斯科國立大學留學,跟隨安德雷·柯爾莫哥洛夫學習數學,並研究機器翻譯。  1960年,在莫斯科國立大學取得博士學位後,任職於倫敦艾略特兄弟公司(Elliott Brothers Ltd),開發出第一個商用的ALGOL 60編譯器,很快就成為公司的首席工程師。  1968年,成為貝爾法斯特女王大學的教授。1977年回到牛津大學擔任教授。現為牛津大學榮譽教授,並在劍橋微軟研究院擔任研究員。

  他開發了幾個著名的演算法,包括Quicksort與Quickselect。  在作業系統中,他提出哲學家就餐問題,併發明用來作為同步程式的監視器(Monitors)以解決這個問題。他同時證明了監視器與訊號標(Semaphore)在邏輯上是等價的。

  1980年,獲頒圖靈獎。  1982年,成為英國皇家學會院士。  2000年,因為他在電腦科學與教育方面的傑出貢獻,獲得英國王室頒贈爵士頭銜。  2011年,獲頒約翰·馮諾依曼獎。
查爾斯·安東尼·理查德·霍爾爵士(英語:Sir Charles Antony Richard Hoare,縮寫為C. A. R. Hoare,1934年-1月11日),暱稱為東尼·霍爾(英語:Tony Hoare,一譯託尼·霍爾),生於大英帝國錫蘭可倫坡(今斯里蘭卡),英國電腦科學家,圖靈獎得主。他設計了快速排序演算法、霍爾邏輯、交談循序程式。