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
Paul Poberezny
Aviation pioneer and businessman founded the Experimental Aircraft Association in 1953, promoting recreational aviation and supporting homebuilt aircraft. Played a crucial role in organizing the annual Oshkosh AirVenture, the world's largest aviation event. Contributed significantly to the growth and development of the experimental aircraft movement through advocacy and education.
Continue ReadingIeng Thirith
An academic and politician associated with the Khmer Rouge regime, played a significant role in the Cambodian government during the 1970s. Served as Minister of Social Affairs and worked on social policies impacting the Cambodian population. Involved in the higher education system in Cambodia post-political upheaval, contributing to the academic development of the country. Faced legal proceedings in relation to crimes against humanity during the Khmer Rouge era.
Continue ReadingElmer Kelton
A prominent journalist and author, contributed significantly to the Western genre through novels and short stories. Wrote over forty books, many depicting the American West and its culture. Won multiple prestigious awards throughout his career, including the Western Heritage Award and the Spur Award from the Western Writers of America. Served as a writer and columnist for newspapers in Texas and contributed articles on various topics, including ranching, agriculture, and the lives of everyday people in the West.
Continue ReadingIsabella of France
Originally from France, served as Queen consort of England from 1308 until 1327. Married Edward II of England, contributing to significant political alliances between England and France. Her marriage faced numerous challenges, including political disputes and personal conflicts. Played a pivotal role in the deposition of Edward II, leading to the rise of her son, Edward III, to the throne. Later life was marked by her influence in court politics and support for her son during his reign.
Continue ReadingSebastian Cabot
An English-Canadian actor, he gained recognition for roles in television and film. Cabot starred in the popular series 'The Bloodhound Gang' and is well-remembered for his performances in 'The Twilight Zone'. He also featured in the acclaimed series 'Family Affair'. His career spanned several decades during which he displayed a range of acting abilities in various genres. In addition to acting, he contributed to the industry as a director, shaping the works of others.
Continue ReadingJomo Kenyatta
Served as the first Prime Minister of Kenya from 1963 to 1964 and then as the first President from 1964 until death in 1978. Led the country during its transition to independence from British colonial rule. Was a prominent figure in the struggle for Kenyan sovereignty and a symbol of nationalism. Oversaw various economic and social policies aimed at promoting development in the newly independent nation. Played a crucial role in establishing a Kenyan identity and promoting unity among diverse ethnic groups.
Continue Reading