Michael M. Richter
Mathematician and computer scientist

Born
June 21st, 1938
86 years ago
Died
2020
5 years ago — 82 years old
Category
Scientists & Innovators
Country
Germany
Links & References
Contributions included research in formal methods and computer-aided verification. Developed techniques for software reliability and contributed to automated reasoning. Worked at several institutions, influencing both academia and industry with advancements in formal specification and verification. Published numerous papers on semantics and logic in computer science.
Contributed to formal methods in computer science
Developed formal specification techniques
Influenced software reliability practices
Other People Born on June 21st
Pontus Hultén
An influential figure in the art world, played a critical role in the development of several art institutions. Served as the first director of the Moderna Museet in Stockholm, which became a significant venue for contemporary art. Organized numerous important exhibitions including 'The New American Painting' and contributed to establishing the significance of Swedish art on the international stage. Worked extensively on the promotion and preservation of modern art throughout his career.
Continue ReadingAnne Carson
Born in 1950, this Canadian poet and academic contributed significantly to contemporary poetry. The work often blends elements of classical literature with modern themes. Notable works include 'Autobiography of Red', which reinterprets the myth of Geryon in a modern context. In addition to poetry, involvement in essays and translations has broadened the scope of work, garnering attention in both literary and academic circles. The poetic style features a distinct narrative voice, allowing personal and mythological elements to intertwine. The accolades received include the Governor General's Award and the T.S. Eliot Prize, reflecting contributions to the literary field.
Continue ReadingLluís Companys
A prominent Catalan lawyer and politician, served as the 123rd President of Catalonia from 1934 until his arrest in 1940. Played a significant role in Catalonia's push for autonomy during the Spanish Civil War. Advocated for the rights and status of Catalonia within Spain. Captured by the Nazis in France and extradited to Spain, was executed in 1940.
Continue ReadingJacques Hébert
A journalist and politician from Canada, contributed to the field of journalism through significant works and political engagement. He served as a member of the Canadian Parliament and was influential in promoting social issues. Hébert founded a political party focused on democratic socialism and implemented policies aimed at improving the welfare of citizens. His editorial work in various publications highlighted critical societal challenges and advocated for reform.
Continue ReadingClive Brooke
Baron Brooke of Alverthorpe served as a distinguished politician and businessman in the United Kingdom. His political career included serving as a member of the House of Lords, where he contributed to various legislative discussions. Brooke was also active in the business sector, holding significant positions within leading companies and organizations. The culmination of his political and business efforts solidified his reputation within both fields.
Continue ReadingIsabel Pires
Elected to the Portuguese Assembly of the Republic in 2019, Pires focused on issues related to social justice, environmental sustainability, and economic reform. As a member of a progressive political party, participated actively in legislative discussions and initiatives aimed at improving living conditions for citizens. Advocated for policies that addressed climate change and fostered inclusion across various sectors of society.
Continue Reading