基本介紹
早年生平,嶄露頭角,開創性成果,獲獎經歷,
早年生平
霍爾是英國人，1934年1月11日生於斯里蘭卡的科倫坡。小時候的理想是當個作家，喜歡蕭伯納和羅素的作品。因為勤奮好學、少言寡語，他被同學稱為“教授”。中學畢業後，他進入牛津的莫頓學院學習，對數理邏輯產生了興趣，並首次接觸到了計算機。他的第一個程式用Mercury Autocode的語言編寫，解決了諾依曼書中的兩人博弈問題。
嶄露頭角
1960年，霍爾進入Elliott兄弟倫敦公司，成為一名程式設計師。他接到的第一個任務，就是為Elliott 803計算機編寫一個庫程式，實現新發明出來的Shell排序算法。在此過程中，霍爾對不斷提升代碼的效率著了迷，他不僅很好地完成了任務，還發明了一種新算法，比Shell還快，而且不會多耗費太多空間——Quicksort誕生了。
隨後，霍爾又接到了新任務——在公司新機型Elliott 503上實現Algol 60語言。Elliott Algol的開發非常順利，大獲成功，霍爾本人也從此受到國際學術界的重視。當然，對他來說，另一件事情更為重要，他和項目中另一位當時比自己更專業的女程式設計師Jill Pym相識相知，並最後結婚。
開創性成果
1968年他到北愛爾蘭女王大學從事教學和研究，1977年轉入牛津大學至今，目前還同時擔任微軟研究院的研究員。他全身心地投入到計算機科學理論的研究中，作出了許多創造性的重大貢獻，尤其是程式設計理論和作業系統設計等方面，目前許多廣泛流行與套用著的概念都源於霍爾的工作。
1969年10月，霍爾在Communicationsof the ACM上發表了有里程碑意義的論文“電腦程式設計的公理基礎”。在這篇論文中，霍爾提出了公理語義學，這是繼1963年用遞歸函式定義程式，以及在1967年基於程式流程圖的歸納斷言法以後，程式邏輯研究中所取得的又一個重大技術進展。
20世紀70年代後期，霍爾深入研究並實現了程式設計語言CSP，後來成為著名的並行處理語言Occam的基礎。80年代中期，霍爾和S. Brools等人合作，提出了“CSP理論”，開創了用代數方法研究通信並發系統的先河，形成了“進程代數”這一新的研究領域。1995年他還和我國學者、中科院院士何積豐合作，提出了統一程式設計理論。
霍爾發表過許多高水平的論著。ACM在1983年評選出最近25年中發表在Communications of the ACM上的有里程碑式意義的25篇經典論文，只有2名學者各有2篇論文入選，霍爾就是其中之一。1972年他與O.J. Dahl和E. W. Dijkstra三位圖靈獎得主合著的Structured Programming一書，更是難以逾越的高峰。
