Michael J. C. Gordon
British Computer Scientist and Researcher
Born
1948
77 years ago
Died
August 22nd, 2017
8 years ago — 69 years old
Category
Scientists & Innovators
Country
United Kingdom
Links & References
Contributed significantly to the field of computer science, focusing on programming languages, systems, and verification. Served as a professor at the University of Cambridge and played a key role in the development of the Occam programming language. His work in automated theorem proving was influential in formal verification, particularly in the context of concurrent systems. Engaged in research that bridged theoretical frameworks and practical applications, benefiting both academia and industry.
Developed the Occam programming language
Pioneered research in automated theorem proving
Contributed to formal verification of systems
Other People Who Died on August 22nd
Jean-Honoré Fragonard
A prominent painter and etcher, worked primarily during the Rococo period in France. Fragonard studied under François Boucher and became famous for his dynamic compositions and vibrant colors. His artwork often depicted romantic and playful themes. Major pieces include 'The Swing', 'The Progress of Love', and 'The Reader'. Fragonard’s style epitomized the essence of 18th-century French art, showcasing elegance and frivolity in the midst of societal change due to the approaching Enlightenment.
Continue ReadingGerald Strickland
Served as the 4th Prime Minister of Malta from 1927 to 1932, focusing on constitutional advancements and reforms. Played a significant role in the political landscape during the British colonial period, advocating for Maltese interests. A prominent lawyer, contributed to legal and political discourse, influencing legislation and governance in Malta.
Continue ReadingPaul Shan Kuo-hsi
Served as a cardinal in the Catholic Church, contributing significantly to the formation of the Church's presence in China. Appointed by Pope John Paul II in 1998, held the title of Bishop of the Diocese of Kaohsiung. Engaged in various ecclesiastical duties, including promoting education and social services within his community. Actively participated in numerous synods and conferences aimed at addressing the challenges faced by the Church in the Asian context, particularly in relation to governmental policies.
Continue ReadingDaniel Petrie
A director and producer in film and television. Directed the classic TV movie 'Brian's Song' in 1971, which depicted the life of football player Brian Piccolo. His work spanned several decades, contributing to both television and film. Received several accolades throughout his career, including an Emmy Award for Outstanding Directing for a Limited Series or a Special. Also directed films like 'The Dollmaker' and 'Forty Carats'.
Continue ReadingJack Bickell
A businessman and philanthropist contributed to various industries, particularly in Canada. Involved in the development of mining operations and investment ventures. Played a significant role in the establishment of the Canadian city of Fort McMurray as a resource hub. Known for philanthropic efforts that supported education and community development initiatives.
Continue ReadingRobert Gascoyne-Cecil
Served as Prime Minister of the United Kingdom three times during the late 19th century, holding office from 1885 to 1886, 1886 to 1892, and 1895 to 1902. Played a significant role in Conservative Party leadership and influenced British foreign policy. Oversaw key events such as the Berlin Conference and the Second Boer War. Engaged in various domestic policies and reforms aimed at modernizing the political landscape.
Continue Reading