Michael J. C. Gordon
British Computer Scientist and Researcher
Born
1948
77 years ago
Died
August 22nd, 2017
7 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
Abulfaz Elchibey
Born in 1938, a prominent Azerbaijani politician served as the first democratically elected President of Azerbaijan from 1992 to 1993. Elchibey was a key figure in the country's independence movement following the collapse of the Soviet Union. His presidency focused on establishing a democratic government and promoting Azerbaijani nationalism. Elchibey's administration faced internal political challenges and external conflicts, particularly with Armenia over the Nagorno-Karabakh region. In 1993, amid political unrest and military setbacks, he was ousted from power, leading to a new leadership that shifted political direction.
Continue ReadingKorbinian Brodmann
Contributed significantly to neuroscience through the development of a cytoarchitectonic map of the human brain. The classification, known as Brodmann areas, identified 52 distinct regions based on differences in cellular structure. Worked in various academic institutions, primarily focusing on the anatomical structure of the cerebral cortex. Published influential research that laid the groundwork for modern brain studies and neuroanatomy.
Continue ReadingGiacomo Radini-Tedeschi
An Italian bishop and academic contributed significantly to the Catholic Church and the educational landscape in Italy. Appointed as Bishop of Crema in 1907, played a key role in regional religious life and church governance. Established educational institutions that emphasized modern education alongside traditional Catholic teachings. Engaged in academic pursuits, influencing theological education during his tenure. Participated actively in various ecclesiastical councils and discussions, addressing issues relevant to the church at the beginning of the 20th century.
Continue ReadingRod Gilbert
An ice hockey player played for the New York Rangers in the National Hockey League (NHL). Garbbed the franchise's all-time scoring leader with 1021 points. Played in 1,065 regular season games and participated in seven NHL All-Star games. Gilbert's contributions extended beyond the ice as he engaged in philanthropic efforts and community service, supporting various charities.
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 ReadingJohn Granville
Served as an English soldier and politician during the late 17th century. Became the 1st Earl of Bath in 1702. Held the position of Lord Lieutenant of Ireland, overseeing military and civil matters in the region. Participated in various military campaigns and was active in political affairs within England. Navigated the complexities of Irish politics and governance while maintaining loyalty to the crown. His contributions to military and political life in Ireland were significant during a tumultuous period.
Continue Reading