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
A mathematician and physicist contributed significantly to the fields of probability theory and mathematical physics. Developed the Poisson distribution in probability theory, which models the number of events occurring in a fixed interval of time or space. Made substantial contributions to the study of fluids, elasticity, and gravitation. The Poisson equation in mathematical physics is a cornerstone in the analysis of potential theory. Helped establish the foundation for many modern statistical methods and theories.
Continue ReadingPlayed as a placekicker in the National Football League for the Green Bay Packers and the New York Giants. Achieved recognition for proficiency in scoring, particularly in field goals and extra points. Participated in the NFL Pro Bowl, showcasing exceptional skills and contributions on the field. Contributed to his teams with reliable kicking abilities, impacting games throughout his career.
Continue ReadingAn American actor, writer, and comedian contributed significantly to the world of sketch comedy. Gained recognition for work on the Canadian television series SCTV, where memorable characters included Count Floyd and Roseanne Roseannadanna. Contributed to the writing and performance of various sketches that showcased a range of comedic styles. Appeared in several films and television shows, including Happy Gilmore and Freaky Friday. Continued to be active in the entertainment industry until 2024.
Continue ReadingA chess player achieved the title of Woman Grandmaster. Competed in numerous international tournaments and represented Russia at various levels. Participated in the Women's World Chess Championship and contributed to the Russian women's chess team's successes in team events.
Continue ReadingSpecialized in sprinting events and represented Finland in international competitions. Competed in the 1980 Summer Olympics held in Moscow, achieving significant recognition in track and field. Earned a national title in the 100 meters and participated in several European championships, contributing to Finnish athletics during the peak of her career.
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 Reading