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
Nina Bawden
An author with a career spanning several decades, wrote numerous novels and children's books. Achieved recognition for works that often explore themes of childhood and personal growth. The novel 'Carrie's War' remains a significant contribution to children's literature and is widely studied in schools. Additionally, contributed to adult literature with several acclaimed novels. Active in literary circles and participated in various community literary projects.
Continue ReadingPete Ladygo
Played professional American football as a guard for the Chicago Bears. Transitioned into coaching after retiring from playing, serving as an assistant coach for the Bears. Contributed to the team's operations and development of players during the 1960s and 1970s, influencing future generations in the sport.
Continue ReadingAlexandros Kontoulis
A prominent figure in the Greek military and diplomatic circles during the early 20th century. Played a significant role in the Balkan Wars and served as a general in the Greek Army. Held various diplomatic positions, contributing to Greece's relationships with neighboring countries. Actively participated in the negotiations following World War I, aiming to strengthen Greece's territorial claims. Efforts in diplomacy were crucial in shaping the political landscape of the region.
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 ReadingMaria Cunitz
Contributed to astronomy through the publication of 'Urania Propitia', a comprehensive guide that included astronomical tables and calculations. Worked on enhancing the accessibility of astronomical knowledge, aiming to bridge gaps in education at the time. Engaged in correspondence with notable astronomers and scholars of the era, thereby influencing scientific discourse. Her work made significant advancements in promoting the understanding of celestial movements in the 17th century.
Continue ReadingJohn Dudley
As the 1st Duke of Northumberland, served as an influential English admiral and politician during the Tudor period. Held the position of Lord President of the Council and played a central role in the political machinations following the reign of Edward VI. Supported the Protestant Reformation and promoted the interests of his family and allies within the court. Involved in the tragic events surrounding Lady Jane Grey's ascension and subsequent downfall, which marked the end of his political power and influence.
Continue Reading