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 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 ReadingA prominent painter and illustrator, contributed to American visual arts with bold landscapes and striking imagery. Worked extensively in various media, including oil painting, lithography, and illustration. Gained recognition for the illustrations in classic literature, marrying visual art with text. Involved in the Works Progress Administration, supporting artistic initiatives during the Great Depression. Travelled to remote locations that influenced artistic style, including Alaska and Greenland.
Continue ReadingBorn in the Netherlands, a prominent fencer and soldier achieved recognition during the early 20th century. Competing in the 1920 Summer Olympics in Antwerp, displayed skill in individual foil events and contributed to team competitions. Besides sporting pursuits, served in military capacities, balancing a dual career until retirement.
Continue ReadingAn accomplished actress and singer, celebrated for significant contributions to American cinema and theatre. Starred in the original Broadway production of 'Born Yesterday', earning a Tony Award for her performance. Transitioned to film, achieving critical acclaim for the movie adaptation of 'Born Yesterday', which garnered an Academy Award for Best Actress. In addition to her film work, participated in various stage productions, showcasing remarkable versatility and talent.
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 ReadingCompeted in long jump events during the 1950s. Participated in the 1952 Helsinki Olympics, representing Israel. Achieved personal bests in various competitions throughout the career, contributing to the growth of athletics in Israel. Engaged in promoting athletics in the country post-retirement.
Continue Reading