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
Brenda Holloway
An American singer-songwriter achieved fame in the 1960s. Best recognized for contributions to the Motown label, significant works include the hit single 'Every Little Bit Hurts' which reached the top of the R&B charts. Released several albums and singles that showcased a blend of soul and pop. Expanded influence through songwriting, contributing to the works of other artists. Her unique vocal style and emotive performances garnered a dedicated following.
Continue ReadingJames Short
Born in 1710, this Scottish-English figure made significant contributions to mathematics and optics. His work in geometry led to the development of the first reflecting telescope using a parabolic mirror. He published influential texts, including treatises on the construction of telescopes and the applications of geometric principles in optics. A prominent figure in the 18th-century scientific community, he engaged with other leading intellectuals of the time, enhancing the understanding of optical sciences and instruments.
Continue ReadingMarjorie Margolies
A journalist and politician served in the U.S. House of Representatives from 1993 to 1995. Started a career in journalism, including reporting for NBC and CBS. Elected to Congress as a Democrat from Pennsylvania, focused on women's issues and education reform. Lost re-election in 1994 after a single term. Continued to work in advocacy and consulting, contributing to various humanitarian efforts.
Continue ReadingHans Gerschwiler
Competed in figure skating, representing Switzerland in international competitions. Participated in the 1948 Winter Olympics held in St. Moritz, where he showcased significant talent in men's singles events. Throughout his career, engaged in various championships, contributing to the development of figure skating in Switzerland and earning recognition for technical skill and artistry on ice. Gerschwiler's performances often reflected originality and dedication to the sport, influencing future generations of skaters.
Continue ReadingWilliam Frankena
Contributed significantly to moral philosophy and ethics. Served as a professor at the University of Michigan, influencing numerous students and scholars. Published key texts including 'Ethics' in 1973, which provided a systematic approach to moral reasoning. Was involved in the development of the analytic tradition in philosophy, focusing on the importance of logical analysis in ethical discussions.
Continue ReadingTyrone May
Played 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 Reading