Michael M. Richter
Mathematician and computer scientist
Mathematician and computer scientist
2020
6 years ago — 82 years old
Scientists & Innovators
Germany
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
Graduated from Queen's College, Oxford. Became a barrister in 1974. Appointed as a judge of the High Court in 2008 and then as a judge of the Court of Appeal in 2016. Became the Master of the Rolls in 2017, overseeing the civil justice system in England and Wales. Joined the Supreme Court of the United Kingdom in 2021, contributing to significant legal decisions.
Continue ReadingBorn in 1226, served as the Duke of Kraków and Sandomierz. Rule included efforts to maintain autonomy against external influences and foster local governance. Advocated for the Christian faith and supported various monastic orders throughout the region. His reign was marked by political challenges and territorial disputes, notably during the fragmentation of Poland into smaller duchies. Eventually prioritized peace and stability within his domains, ensuring the continuity of his line through the dedication to celibacy and the promotion of religious institutions.
Continue ReadingA German physician and botanist, contributions focused on the study of medicinal plants and their uses in medicine. Travelled extensively in the Middle East and documented flora and fauna encountered during journeys. Notable work includes 'Beschreibung der Provintz Aleppo,' which provided insights into the botany and culture of the region. This work became an important reference for later botanists and physicians.
Continue ReadingContributed significantly to the fields of mathematics and set theory. Worked extensively on combinatorial set theory and made advances in the axiomatic foundations of mathematics. Published numerous papers, influencing mathematical research and education in Hungary. Also served as a professor, guiding students in advanced mathematical concepts.
Continue ReadingPlayed rugby league primarily as a utility back. Developed within the Penrith Panthers system, contributed significantly to the team's success. Achieved recognition during the 2021 NRL season, especially noted for being part of the squad that secured the NRL Premiership title. Demonstrated versatility by filling various roles on the field throughout his career.
Continue ReadingA cat that gained popularity on social media for its unique appearance and playful personality. Lil Bub became a viral sensation, attracting millions of followers and influenced internet culture. The cat had a distinctive look due to several genetic mutations, which contributed to its charming presence. Lil Bub made appearances on various television shows, showcasing its personality to a wider audience and was featured in a documentary titled 'Lil Bub & Friendz.' The cat's playful antics and gentle demeanor endeared it to fans around the world, leading to a dedicated fanbase.
Continue Reading