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
Johannes Sikkar
A soldier and politician from Estonia, served as the Prime Minister of Estonia in exile during World War II. Participated in military activities against occupying forces and worked to represent Estonian interests abroad. Advocated for the Estonian independence movement and collaborated with other expatriate leaders to gain international support for Estonia's sovereignty. Contributed to the organization of the Estonian government in exile and engaged in diplomatic efforts to highlight Estonia's plight during the war.
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 ReadingJames T. Farrell
An American author and poet, this figure contributed significantly to literature through various novels and essays. The most recognized work includes the 'Studs Lonigan' trilogy, which explores the life of a young man in early 20th-century Chicago. The writing style reflects the realities of urban life during that era. The author also produced a variety of other works, including short stories and critiques of modern society. His literary contributions received critical acclaim and left a lasting influence on American literature, particularly in the genre of realism.
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 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 ReadingXianfeng
Ascended the throne in 1850 at the young age of 19 during a tumultuous period marked by social unrest and foreign invasions. His reign was characterized by internal strife, notably the Taiping Rebellion, which lasted from 1850 to 1864. This conflict severely weakened the Qing Dynasty and led to significant loss of life and economic instability. The Opium Wars also unfolded during this time, initiating foreign interventions that challenged China's sovereignty. The emperor struggled to modernize the military and administrative systems to counter these pressures. His efforts, however, were limited in scope and effectiveness. Xianfeng passed away in 1861, leaving a kingdom in crisis and paving the way for the eventual fall of the Qing dynasty.
Continue Reading